scientific article

Val Plumwood, Robert K. Meyer, Ross T. Brady, Richard Routley

Publication date: 1982

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) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (only showing first 100 items - show all)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p ⋮ Relevant logic as a basis for paraconsistent epistemic logics ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? ⋮ The defective conditional in mathematics ⋮ The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points ⋮ A computational interpretation of conceptivism ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’ ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ The Birth of Dialetheism ⋮ Varieties of Relevant S5 ⋮ Relevant reasoning and implicit beliefs ⋮ Topic-theoretic extensions of analytic implication ⋮ On elimination of quantifiers in some non‐classical mathematical theories ⋮ Proof systems for super-strict implication ⋮ Difference-making conditionals and connexivity ⋮ Connexive negation ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ A substructural approach to explicit modal logic ⋮ Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B ⋮ Consistent theories in inconsistent logics ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Weak Kleene and other weak logics of conditionals ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ METAVALUATIONS ⋮ A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3$_\text{Ł}^\leq$ ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Two pretabular linear extensions of relevance logic R ⋮ A Paraconsistent and Substructural Conditional Logic ⋮ A dynamic characterization of the pure logic of relevant implication ⋮ Distributed Relation Logic ⋮ Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ Richard (Routley) Sylvan: Writings on Logic and Metaphysics ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ Logic—The Big Picture ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ The Trivial Object and the Non-Uiviality of a Semantically Closed Theory with Descriptions ⋮ Connexive Variants of Modal Logics Over FDE ⋮ Relevance-Sensitive Truth-Trees ⋮ Tarskian Classical Relevant Logic ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ ⋮ Beth Definability in the Logic KR ⋮ Revisiting Semilattice Semantics ⋮ St. Alasdair on Lattices Everywhere ⋮ Current trends in substructural logics ⋮ Paraconsistent logic ⋮ Aristotle's thesis in consistent and inconsistent logics ⋮ The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment ⋮ Paths to triviality ⋮ Four-valued semantics for relevant logics (and some of their rivals) ⋮ Neighbourhood semantics for quantified relevant logics ⋮ An admissible semantics for propositionally quantified relevant logics ⋮ Converse Ackermann property and semiclassical negation ⋮ Combinatory logic and the semantics of substructural logics ⋮ Paraconsistent metatheory: new proofs with old tools ⋮ What is a relevant connective? ⋮ A relevant theory of conditionals ⋮ Strong Boethius' thesis and consequential implication ⋮ A content semantics for quantified relevant logics. I ⋮ Ternary relations and relevant semantics ⋮ The Relevance of Relevance to Relevance Logic ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ $\mathbf R$ and relevance principle revisited ⋮ A natural negation completion of Urquhart's many-valued logic $C$ ⋮ An algebraic proof of the admissibility of $\gamma $ in relevant modal logics ⋮ One step is enough ⋮ Deep \textsf{ST} ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Logics of synonymy ⋮ Neighbourhood semantics for modal relevant logics ⋮ Farewell to suppression-freedom ⋮ The $\gamma $-admissibility of relevant modal logics. I: The method of normal models ⋮ The Beth property in algebraic logic ⋮ Neighborhoods for entailment ⋮ Completeness and conservative extension results for some Boolean relevant logics ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ A general characterization of the variable-sharing property by means of logical matrices ⋮ Non-Boolean classical relevant logics. I ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ A content semantics for quantified relevant logics. II ⋮ A second pretabular classical relevance logic ⋮ Fusion and confusion ⋮ A note on contraction-free logic for validity ⋮ Naive structure, contraction and paradox ⋮ 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 ⋮ On the ternary relation and conditionality ⋮ Four-valued logic ⋮ On canonicity of poset expansions ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Relational semantics for the 4-valued relevant logics BN4 and E4 ⋮ The semantics of entailment omega

This page was built for publication: