Amalgamation, interpolation, and implicit definability in varieties of algebras

DOI10.1134/S0081543812070036zbMath1361.03033MaRDI QIDQ744307

Larisa L. Maksimova

Publication date: 7 October 2014

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Varieties of lattices (06B20) Interpolation, preservation, definability (03C40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak interpolation in extensions of the logics S4 and K4
• Cylindric algebras. Part II
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Interpolation theorems in modal logics. Sufficient conditions
• Amalgamation properties and interpolation theorems for equational theories
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Intuitionistic logic and implicit definability
• Splitting in the variety of residuated lattices
• An analog of Beth's theorem in normal extensions of the modal logic K4
• Projective Beth property in extensions of Grzegorczyk logic
• Definability and interpolation in non-classical logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• The Projective Beth Property and Interpolation in Positive and Related Logics
• A weak form of interpolation in equational logic
• The Beth property and interpolation in lattice-based algebras and logics
• Problem of restricted interpolation in superintuitionistic and some modal logics
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Algebras Whose Congruence Lattices are Distributive.
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Boolean Algebras with Operators. Part I