Interpolation and the Robinson property for logics not closed under the Boolean operations

DOI10.1007/BF01237716zbMath0591.03015MaRDI QIDQ1074573

Hiroakira Ono

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

amalgamation propertyinterpolation propertymodel-theoretic logiccompact logicequational logics

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Abstract model theory (03C95)

Related Items

Uniform interpolation and compact congruences ⋮ Geometry of Robinson consistency in Łukasiewicz logic ⋮ Modularity results for interpolation, amalgamation and superamalgamation ⋮ Conservative expansions of substructural logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Uniform interpolation and coherence ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Definability and interpolation in non-classical logics ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Natural dualities for varieties of BL-algebras ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation

Cites Work

• Unnamed Item
• Unnamed Item
• Sentential logics and Maehara interpolation property
• Amalgamation properties and interpolation theorems for equational theories
• Injectivity in model theory