A relative interpolation theorem for infinitary universal Horn logic and its applications

DOI10.1007/S00153-005-0302-2zbMath1093.03016OpenAlexW2122759166MaRDI QIDQ818926

Alexej P. Pynko

Publication date: 22 March 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0302-2

zbMATH Keywords

Definability theoremInterpolation theoremPreservation theoremUniversal Horn theory

Mathematics Subject Classification ID

Algebraic logic (03G99) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (3)

Many-place sequent calculi for finitely-valued logics ⋮ Subquasivarieties of implicative locally-finite quasivarieties ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Cites Work

• Some theorems on structural consequence operations
• The logic of paradox
• Definitional equivalence and algebraizability of generalized logical systems
• Implicative classes of algebras
• Logic of antinomies
• A propositional calculus with denumerable matrix
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Remarque Sur un Article de T. M. Apostol
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• On Priest's logic of paradox
• On the model theory of denumerably long formulas with finite strings of quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A relative interpolation theorem for infinitary universal Horn logic and its applications