Some characterization theorems for infinitary universal Horn logic without equality
From MaRDI portal
Publication:3128471
DOI10.2307/2275814zbMath0871.03029MaRDI QIDQ3128471
Ramon Jansana, Pilar Dellunde i Clavé
Publication date: 16 April 1997
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275814
interpolation; reduced models; compactness; definability; infinitary languages; joint consistency; propositional logics; preservation theorems; universal Horn theory; reduced Horn classes
08C10: Axiomatic model classes
03C40: Interpolation, preservation, definability
03C75: Other infinitary logic
03C95: Abstract model theory
Related Items
Algebraic Characterizations for Universal Fragments of Logic, Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited, Constructing natural extensions of propositional logics, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, Axiomatizations of universal classes through infinitary logic, On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions, On the complexity of the Leibniz hierarchy, First order logic without equality on relativized semantics, On the closure properties of the class of full G-models of a deductive system, Categorical abstract algebraic logic: Partially ordered algebraic systems, Horn Clause Solvers for Program Verification, Correspondences between gentzen and hilbert systems, Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors, Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
Cites Work