scientific article; zbMATH DE number 3496100
From MaRDI portal
Publication:4077984
zbMath0317.02017MaRDI QIDQ4077984
Robert K. Meyer, Richard Routley
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (85)
QUANTIFIED MODAL RELEVANT LOGICS ⋮ Current trends in substructural logics ⋮ ``Four-valued semantics for the relevant logic R ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ A relevant logic of questions ⋮ Routley star and hyperintensionality ⋮ Linear and affine logics with temporal, spatial and epistemic operators ⋮ Restricted arrow ⋮ Limited reasoning in first-order knowledge bases ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning ⋮ An admissible semantics for propositionally quantified relevant logics ⋮ A relevant theory of conditionals ⋮ A content semantics for quantified relevant logics. I ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Implication via spacetime ⋮ Sequent-systems and groupoid models. I ⋮ The Relevance of Relevance to Relevance Logic ⋮ \(\mathbf R\) and relevance principle revisited ⋮ A natural negation completion of Urquhart's many-valued logic \(C\) ⋮ The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points ⋮ Substructural epistemic logics ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ New axiomatics for relevant logics. I ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ Semantical analysis of the logic of bunched implications ⋮ Truthmaker semantics for relevant logic ⋮ Neighbourhood semantics for modal relevant logics ⋮ Consistent theories in inconsistent logics ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models ⋮ Completeness and conservative extension results for some Boolean relevant logics ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ A note on contraction-free logic for validity ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Conditionals, quantification, and strong mathematical induction ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ The Story of $$\gamma $$ γ ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’ ⋮ A new approach to classical relevance ⋮ Semantics for relevance logic with identity ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ Separation Logic Semantics for Communicating Processes ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ The completeness of the factor semantics for Łukasiewicz's infinite- valued logics ⋮ The semantics of \(R4\) ⋮ Fragments of R-mingle ⋮ Classical relevant logics. II ⋮ The semantics of entailment. III ⋮ Unnamed Item ⋮ Distributed Relation Logic ⋮ Models for relevant modal logics ⋮ Intuitive semantics for first-degree entailments and `coupled trees' ⋮ The finite embeddability property for residuated groupoids. ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Negation on the Australian plan ⋮ Relevant analytic tableaux ⋮ Alternative semantics for quantified first degree relevant logic ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ Modal translation of substructural logics ⋮ Sequent-systems and groupoid models. II ⋮ Displaying and deciding substructural logics. I: Logics with contraposition ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Relevant logic and the theory of information ⋮ Grounding rules for (relevant) implication ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM ⋮ On Metalogical Relativism ⋮ Interpretations of Weak Positive Modal Logics ⋮ Lower semilattice-ordered residuated semigroups and substructural logics ⋮ A Logical Autobiography ⋮ Tarskian Classical Relevant Logic ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ ⋮ Geometric Models for Relevant Logics ⋮ Revisiting Semilattice Semantics ⋮ Comments on the Contributions ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Poset products as relational models
This page was built for publication:
