On the linear Lindenbaum algebra of Basic Propositional Logic

DOI10.1002/MALQ.200310077zbMath1041.03053OpenAlexW1983769892MaRDI QIDQ4458702

Mohammad Ardeshir, Majid Alizadeh

Publication date: 15 March 2004

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

Full work available at URL: https://doi.org/10.1002/malq.200310077

zbMATH Keywords

Heyting algebrabasic algebraLindenbaum algebrabasic propositional logicDummett algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (3)

Amalgamation property for the class of basic algebras and some of its natural subclasses ⋮ Implication via spacetime ⋮ On self‐distributive weak Heyting algebras

This page was built for publication: On the linear Lindenbaum algebra of Basic Propositional Logic