Amalgamation property for the class of basic algebras and some of its natural subclasses

DOI10.1007/s00153-006-0018-yzbMath1112.03056OpenAlexW2013593543MaRDI QIDQ862346

Majid Alizadeh, Mohammad Ardeshir

Publication date: 24 January 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0018-y

zbMATH Keywords

Heyting algebraInterpolationAmalgamationBasic algebraBasic propositional logicFaithful

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Residuated expansions of lattice-ordered structures ⋮ Implication via spacetime ⋮ On PBZ*-lattices ⋮ On Löb algebras ⋮ Completions of Basic Algebras

Cites Work

• Unnamed Item
• Speaking about transitive frames in propositional languages
• Basic Propositional Calculus I
• On the linear Lindenbaum algebra of Basic Propositional Logic
• Bounded distributive lattices with strict implication
• Basic propositional calculus. II: Interpolation
• Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic

This page was built for publication: Amalgamation property for the class of basic algebras and some of its natural subclasses