Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
type: Item
instance of: scholarly article
title: Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
zbMATH Open document ID: 1031.03081
DOI: 10.1016/S0165-0114(02)00565-1
author: Adriana Galli
author: G. E. Reyes
author: Marta S. Sagastume
published in: Fuzzy Sets and Systems
publication date: 2003-09-07T00:00:00Z
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 1975908
zbMATH Keywords: nonclassical logic
zbMATH Keywords: Łukasiewicz \(n\)-valued algebras
zbMATH Keywords: strong amalgamation
zbMATH Keywords: categories
zbMATH Keywords: symmetric bounded distributive lattices
zbMATH Keywords: symmetric Heyting algebras
zbMATH Keywords: Heyting modal S4-algebras
zbMATH Keywords: Heyting modal bi-S4-algebras
zbMATH Keywords: exact categories
zbMATH Keywords: interpolation
MaRDI profile type: Publication
cites work: Q5620723
cites work: Q4856547
cites work: Freedom in polyadic algebras and two theorems of Beth and Craig
cites work: Completeness theorems via the double dual functor
cites work: Q4313857
cites work: Bounded distributive lattice expansions
cites work: On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
cites work: Completeness results for intuitionistic and modal logic in a categorical setting
cites work: Q4187817
cites work: Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
cites work: Amalgamation and interpolation in the category of Heyting algebras
cites work: Formal systems for modal operators on locales
full work available at URL: s0165-0114(02)00565-1
OpenAlex ID: W2080616779
description: scientific article; zbMATH DE number 1975908