Amalgamation, interpolation, and implicit definability in varieties of algebras
From MaRDI portal
(Redirected from Publication:744307)
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
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)