Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic

DOI10.1016/S0165-0114(02)00565-1zbMath1031.03081OpenAlexW2080616779MaRDI QIDQ1406853

Gonzalo E. Reyes, Adriana Galli, Marta S. Sagastume

Publication date: 7 September 2003

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(02)00565-1

zbMATH Keywords

interpolationcategoriesexact categoriesnonclassical logicstrong amalgamationHeyting modal bi-S4-algebrasHeyting modal S4-algebrasŁukasiewicz \(n\)-valued algebrassymmetric bounded distributive latticessymmetric Heyting algebras

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (1)

Uniform interpolation and compact congruences

Cites Work

• Amalgamation and interpolation in the category of Heyting algebras
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Formal systems for modal operators on locales
• Completeness results for intuitionistic and modal logic in a categorical setting
• On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
• Completeness theorems via the double dual functor
• Freedom in polyadic algebras and two theorems of Beth and Craig
• Bounded distributive lattice expansions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic