Amalgamation property for the class of basic algebras and some of its natural subclasses
type: Item
instance of: scholarly article
title: Amalgamation property for the class of basic algebras and some of its natural subclasses
zbMATH Open document ID: 1112.03056
author: M. Alizadeh
author: Mohammad Ardeshir
published in: Archive for Mathematical Logic
publication date: 2007-01-24T00:00:00Z
review text: The authors study an algebraic structure associated with basic propositional calculus, called Basic Algebra, as well as some of its natural extensions. The authors prove the amalgamation property for the classes of Basic Algebras, faithful Basic Algebras and linear faithful Basic Algebras. Also remarkable is Theorem 3.21, where they show that a faithful theory has the interpolation property if and only if its correspondence class of (Heyting) algebras has the amalgamation property.
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 5118080
zbMATH Keywords: Amalgamation
zbMATH Keywords: Basic algebra
zbMATH Keywords: Basic propositional logic
zbMATH Keywords: Heyting algebra
zbMATH Keywords: Faithful
zbMATH Keywords: Interpolation
reviewed by: Marius Tărnăuceanu
MaRDI profile type: Publication
full work available at URL: s00153-006-0018-y
OpenAlex ID: W2013593543
cites work: Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic
cites work: On the linear Lindenbaum algebra of Basic Propositional Logic
cites work: Basic Propositional Calculus I
cites work: Basic propositional calculus. II: Interpolation
cites work: Bounded distributive lattices with strict implication
cites work: Q4187817
cites work: Speaking about transitive frames in propositional languages
DOI: 10.1007/S00153-006-0018-Y
description: scientific article; zbMATH DE number 5118080