scientific article; zbMATH DE number 6965723
From MaRDI portal
Publication:4961804
zbMath1398.03011MaRDI QIDQ4961804
Robert K. Meyer, Val Plumwood, Ross T. Brady, Richard Routley
Publication date: 25 October 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (30)
Current trends in substructural logics ⋮ Neighbourhood semantics for quantified relevant logics ⋮ What is a relevant connective? ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ \(\mathbf R\) and relevance principle revisited ⋮ Some metacomplete relevant modal logics ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Varieties of Relevant S5 ⋮ Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B ⋮ Farewell to suppression-freedom ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ The one-variable fragment of \(\mathrm T_\to\) ⋮ TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Real analysis in paraconsistent logic ⋮ Blocking the routes to triviality with depth relevance ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ Normalized natural deduction systems for some relevant logics I: The logic DW ⋮ Logic—The Big Picture ⋮ Tarskian Classical Relevant Logic ⋮ Beth Definability in the Logic KR
This page was built for publication: