On the linear Lindenbaum algebra of Basic Propositional Logic

DOI10.1002/MALQ.200310077zbMATH Open1041.03053OpenAlexW1983769892MaRDI QIDQ4458702FDOQ4458702

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

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

zbMATH Keywords

Heyting algebrabasic algebraLindenbaum algebrabasic propositional logicDummett algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)