Some characterization theorems for infinitary universal Horn logic without equality

DOI10.2307/2275814zbMath0871.03029OpenAlexW2004384679MaRDI 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

zbMATH Keywords

interpolationreduced modelscompactnessdefinabilityinfinitary languagesjoint consistencypropositional logicspreservation theoremsuniversal Horn theoryreduced Horn classes

Mathematics Subject Classification ID

Axiomatic model classes (08C10) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items (20)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ Algebraic Characterizations for Universal Fragments of Logic ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Axiomatizations of universal classes through infinitary logic ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Horn Clause Solvers for Program Verification ⋮ Logics of upsets of De Morgan lattices ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ On the complexity of the Leibniz hierarchy ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ Constructing natural extensions of propositional logics ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Unnamed Item ⋮ First order logic without equality on relativized semantics ⋮ Correspondences between gentzen and hilbert systems ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

Cites Work

• Reduced products of logical matrices
• Some theorems on structural consequence operations
• Infinite games and reduced products
• Fragments of first order logic, I: universal Horn logic
• Unnamed Item

This page was built for publication: Some characterization theorems for infinitary universal Horn logic without equality