scientific article; zbMATH DE number 3496100

zbMATH Open0317.02017MaRDI QIDQ4077984FDOQ4077984

Authors: Robert K. Meyer, Richard Sylvan 

Publication date: 1973

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99)

Cited In (89)

• A natural negation completion of Urquhart's many-valued logic \(C\)
• Truthmaker semantics for relevant logic
• Current trends in substructural logics
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• A relevant logic of questions
• Routley star and hyperintensionality
• Displaying and deciding substructural logics. I: Logics with contraposition
• Title not available (Why is that?)
• Completeness and conservative extension results for some Boolean relevant logics
• On Metalogical Relativism
• New axiomatics for relevant logics. I
• Consistent theories in inconsistent logics
• Sequent-systems and groupoid models. I
• Restricted arrow
• Relevant analytic tableaux
• An admissible semantics for propositionally quantified relevant logics
• Tarskian Classical Relevant Logic
• ``Four-valued semantics for the relevant logic R
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Limited reasoning in first-order knowledge bases
• QUANTIFIED MODAL RELEVANT LOGICS
• Geometric Models for Relevant Logics
• Classical relevant logics. II
• The semantics of entailment. III
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• The relevance of relevance to relevance logic
• Substructural epistemic logics
• On split negation, strong negation, information, falsification, and verification
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
• Lower semilattice-ordered residuated semigroups and substructural logics
• Models for relevant modal logics
• Fragments of R-mingle
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Alternative semantics for quantified first degree relevant logic
• Intuitive semantics for first-degree entailment and `coupled trees'
• A note on contraction-free logic for validity
• Separation Logic Semantics for Communicating Processes
• Intuitive semantics for first-degree entailments and `coupled trees'
• Linear and affine logics with temporal, spatial and epistemic operators
• Algebraic modal correspondence: Sahlqvist and beyond
• Modal translation of substructural logics
• Distributed Relation Logic
• Sequent-systems and groupoid models. II
• A relevant theory of conditionals
• Conditionals, quantification, and strong mathematical induction
• The finite embeddability property for residuated groupoids.
• Algebraic Kripke-style semantics for relevance logics
• An explanation for the ternary relation R in the relational semantics of relevance logic
• A content semantics for quantified relevant logics. I
• The completeness of the factor semantics for Łukasiewicz's infinite- valued logics
• Dynamic Epistemic Logic as a Substructural Logic
• A new approach to classical relevance
• Semantics for relevance logic with identity
• A reinterpretation of the semilattice semantics with applications
• Revisiting Semilattice Semantics
• The semantics of \(R4\)
• Relevant logic and the theory of information
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• \(\mathbf R\) and relevance principle revisited
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• Relation algebras of Sugihara, Belnap, Meyer, and Church
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Poset products as relational models
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• A reasoning system for satisfiability of diagrammatic specifications
• Neighbourhood semantics for modal relevant logics
• The Story of $$\gamma $$ γ
• Grounding rules for (relevant) implication
• The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
• One variable relevant logics are S5Ish
• Semantical analysis of the logic of bunched implications
• Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
• Cut and gamma. I: Propositional and constant domain \textbf{R}
• Choice-free topological duality for implicative lattices and Heyting algebras
• Implication via spacetime
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Multiset-multiset frames
• Negation on the Australian plan
• Comments on the Contributions
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• A Logical Autobiography
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Interpretations of weak positive modal logics
• A decidable temporal relevant logic for time-dependent relevant human reasoning
• Categories of models of \(\mathbf{R}\)-mingle
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points

This page was built for publication:

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