On the linear Lindenbaum algebra of Basic Propositional Logic

DOI10.1002/MALQ.200310077MaRDI QIDQ4458702zbMATH OpenOpenAlexFDO

Authors M. Alizadeh, Mohammad Ardeshir

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)

Recommendations

• On the structure and the properties of \(L_0^*\)-Lindenbaum algebra
• On Löb algebras
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• Basic algebras, logics, trends and applications
• On Löb algebras. II

Cited in

(13)

• Lindenbaum algebras of intuitionistic theories and free categories
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• On the structure and the properties of \(L_0^*\)-Lindenbaum algebra
• Some Properties of Linear Logic Proved by Semantic Methods
• scientific article; zbMATH DE number 4099290 (Why is no real title available?)
• scientific article; zbMATH DE number 1231531 (Why is no real title available?)
• On linear Brouwerian logics
• Implication via spacetime
• On self‐distributive weak Heyting algebras
• On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
• On Löb algebras
• A study on some classes of distributive lattices with a generalized implication
• Existence of the least and the greatest elements of a subset of the Lindenbaum algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4458702)