Fragments of first order logic, I: universal Horn logic
type: Item
instance of: scholarly article
title: Fragments of first order logic, I: universal Horn logic
zbMATH Open document ID: 0381.03011
DOI: 10.2307/2272123
author: George F. McNulty
published in: Journal of Symbolic Logic
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 3591957
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2272123
OpenAlex ID: W2006556467
cites work: On universal Horn classes categorical in some infinite power
cites work: Categorial quasivarieties
cites work: Q5560258
cites work: A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
cites work: Properties preserved under homomorphism
cites work: On Polynomial Algebras and Free Algebras
cites work: Horn sentences
cites work: Completeness of calculii for axiomatically defined classes of algebras
cites work: The decision problem for some classes of sentences without quantifiers
description: scientific article; zbMATH DE number 3591957