Amalgamation, interpolation, and implicit definability in varieties of algebras

DOI10.1134/S0081543812070036zbMATH Open1361.03033MaRDI QIDQ744307FDOQ744307

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

• Cylindric algebras. Part II
• Boolean Algebras with Operators. Part I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistic logic and implicit definability
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Projective Beth Property and Interpolation in Positive and Related Logics
• A weak form of interpolation in equational logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Beth property and interpolation in lattice-based algebras and logics
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• 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
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak interpolation in extensions of the logics S4 and K4
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Problem of restricted interpolation in superintuitionistic and some modal logics
• Interpolation theorems in modal logics. Sufficient conditions
• Amalgamation properties and interpolation theorems for equational theories
• Splitting in the variety of residuated lattices

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)