Fragments of first order logic, I: universal Horn logic

DOI10.2307/2272123MaRDI QIDQ4159026zbMATH OpenOpenAlexFDO

Authors George F. McNulty

Publication date 1977

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272123

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites work

• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Categorial quasivarieties
• Completeness of calculii for axiomatically defined classes of algebras
• Horn sentences
• On Polynomial Algebras and Free Algebras
• On universal Horn classes categorical in some infinite power
• Properties preserved under homomorphism
• The decision problem for some classes of sentences without quantifiers

Cited in

(9)

• Reduced products of logical matrices
• Proof theory for linear lattices
• Dynamic epistemic logics
• Some characterization theorems for infinitary universal Horn logic without equality
• Axiomatisability and hardness for universal Horn classes of hypergraphs
• Flat algebras and the translation of universal Horn logic to equational logic
• Model complete universal Horn classes
• Range-restricted and Horn interpolation through clausal tableaux
• Compositional reasoning for multi-modal logics

This page was built for publication: Fragments of first order logic, I: universal Horn logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4159026)