Fragments of first order logic, I: universal Horn logic

DOI10.2307/2272123zbMATH Open0381.03011OpenAlexW2006556467MaRDI QIDQ4159026FDOQ4159026

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

• Title not available (Why is that?)
• The decision problem for some classes of sentences without quantifiers
• Properties preserved under homomorphism
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• On universal Horn classes categorical in some infinite power
• Completeness of calculii for axiomatically defined classes of algebras
• Horn sentences
• Categorial quasivarieties
• On Polynomial Algebras and Free Algebras

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)