Fragments of first order logic, I: universal Horn logic
From MaRDI portal
Publication:4159026
DOI10.2307/2272123zbMath0381.03011MaRDI 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
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Dynamic Epistemic Logics, Flat algebras and the translation of universal Horn logic to equational logic, Model complete universal Horn classes, Proof theory for linear lattices, Reduced products of logical matrices, Axiomatisability and hardness for universal Horn classes of hypergraphs, Some characterization theorems for infinitary universal Horn logic without equality, Compositional Reasoning for Multi-modal Logics
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