Some characterization theorems for infinitary universal Horn logic without equality
From MaRDI portal
Publication:3128471
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
interpolationreduced modelscompactnessdefinabilityinfinitary languagesjoint consistencypropositional logicspreservation theoremsuniversal Horn theoryreduced Horn classes
Axiomatic model classes (08C10) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Abstract model theory (03C95)
Related Items
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
This page was built for publication: Some characterization theorems for infinitary universal Horn logic without equality