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

zbMATH Open1462.03004MaRDI QIDQ5115671FDOQ5115671

Authors: J. Michael Dunn 

Publication date: 17 August 2020

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

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)

Cited In (5)

• Title not available (Why is that?)
• An algebraic view of super-Belnap logics
• Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• 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)