The algebra of intensional logics. With an introductory essay by Katalin Bimbó

MaRDI QIDQ5115671zbMATH OpenFDO

Authors J. Michael Dunn

Publication date 17 August 2020

zbMATH Keywords

semanticscompletenessrelevance logicintensional logicentailmentalgebra of logicDe Morgan monoid

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• Note on algebraic models for relevance logic
• Algebras of Relations and Relevance Logic
• Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
• Relevance and paraconsistency—a new approach
• Duality for algebras of relevant logics

Cited in

(5)

• scientific article; zbMATH DE number 4031641 (Why is no real title available?)
• An algebraic view of super-Belnap logics
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions

This page was built for publication: The algebra of intensional logics. With an introductory essay by Katalin Bimbó

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