scientific article; zbMATH DE number 3496100

Cited in

(89)

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