Interpolation and the Robinson property for logics not closed under the Boolean operations
From MaRDI portal
Publication:1074573
DOI10.1007/BF01237716zbMath0591.03015MaRDI QIDQ1074573
Publication date: 1986
Published in: Algebra Universalis (Search for Journal in Brave)
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
