Fragments of first order logic, I: universal Horn logic
From MaRDI portal
Publication:4159026
DOI10.2307/2272123zbMath0381.03011OpenAlexW2006556467MaRDI QIDQ4159026
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
Related Items (8)
Compositional Reasoning for Multi-modal Logics ⋮ Axiomatisability and hardness for universal Horn classes of hypergraphs ⋮ Reduced products of logical matrices ⋮ Flat algebras and the translation of universal Horn logic to equational logic ⋮ Dynamic Epistemic Logics ⋮ Some characterization theorems for infinitary universal Horn logic without equality ⋮ Model complete universal Horn classes ⋮ Proof theory for linear lattices
Cites Work
- Unnamed Item
- On universal Horn classes categorical in some infinite power
- Properties preserved under homomorphism
- Completeness of calculii for axiomatically defined classes of algebras
- Categorial quasivarieties
- On Polynomial Algebras and Free Algebras
- Horn sentences
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
- The decision problem for some classes of sentences without quantifiers
This page was built for publication: Fragments of first order logic, I: universal Horn logic
