Amalgamation, interpolation, and implicit definability in varieties of algebras

DOI10.1134/S0081543812070036MaRDI QIDQ744307zbMATH OpenFDO

Authors L. 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) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Interpolation, preservation, definability (03C40) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3875359 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 475243 (Why is no real title available?)
• scientific article; zbMATH DE number 2047484 (Why is no real title available?)
• scientific article; zbMATH DE number 1746556 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 1396683 (Why is no real title available?)
• scientific article; zbMATH DE number 2196596 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• A weak form of interpolation in equational logic
• Algebras Whose Congruence Lattices are Distributive.
• Amalgamation properties and interpolation theorems for equational theories
• Amalgamation, congruence-extension, and interpolation properties in algebras
• An analog of Beth's theorem in normal extensions of the modal logic K4
• Boolean Algebras with Operators. Part I
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Cylindric algebras. Part II
• Definability and interpolation in non-classical logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation and joint consistency
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Interpolation theorems in modal logics. Sufficient conditions
• Intuitionistic logic and implicit definability
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Problem of restricted interpolation in superintuitionistic and some modal logics
• Projective Beth property in extensions of Grzegorczyk logic
• Splitting in the variety of residuated lattices
• The Beth property and interpolation in lattice-based algebras and logics
• The Projective Beth Property and Interpolation in Positive and Related Logics
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Weak interpolation in extensions of the logics S4 and K4

Cited in

(1)

• Algebraic proof theory for LE-logics

This page was built for publication: Amalgamation, interpolation, and implicit definability in varieties of algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744307)