scientific article; zbMATH DE number 3496100

Cited in

(only showing first 100 items - show all)

A content semantics for quantified relevant logics. I
Sequent-systems and groupoid models. I
Conditionals, quantification, and strong mathematical induction
Semantics for relevance logic with identity
The completeness of the factor semantics for Łukasiewicz's infinite- valued logics
The semantics of $R4$
Classical relevant logics. II
The semantics of entailment. III
Relevant analytic tableaux
Alternative semantics for quantified first degree relevant logic
Sequent-systems and groupoid models. II
Displaying and deciding substructural logics. I: Logics with contraposition
Relevant logic and the theory of information
Limited reasoning in first-order knowledge bases
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
A natural negation completion of Urquhart's many-valued logic $C$
New axiomatics for relevant logics. I
A note on contraction-free logic for validity
Fragments of R-mingle
Intuitive semantics for first-degree entailments and `coupled trees'
Possible worlds and resources: The semantics of $\mathbf{BI}$
Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
``Four-valued semantics for the relevant logic R
A relevant theory of conditionals
An algebraic proof of the admissibility of $\gamma $ in relevant modal logics
A reinterpretation of the semilattice semantics with applications
Poset products as relational models
Truthmaker semantics for relevant logic
Relation algebras of Sugihara, Belnap, Meyer, and Church
Models for relevant modal logics
Negation on the Australian plan
Categories of models of $\mathbf{R}$-mingle
Lower semilattice-ordered residuated semigroups and substructural logics
Linear and affine logics with temporal, spatial and epistemic operators
Algebraic modal correspondence: Sahlqvist and beyond
The finite embeddability property for residuated groupoids.
Implication via spacetime
Current trends in substructural logics
Neighbourhood semantics for modal relevant logics
The relevance of relevance to relevance logic
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'
Cut and gamma. I: Propositional and constant domain \textbf{R}
A decidable temporal relevant logic for time-dependent relevant human reasoning
R and relevance principle revisited
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
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
Distributed Relation Logic
Algebraic Kripke-style semantics for relevance logics
Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
A new approach to classical relevance
Grounding rules for (relevant) implication
Interpretations of weak positive modal 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
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
Discrete dualities for groupoids
An explanation for the ternary relation R in the relational semantics of relevance logic
Modal translation of substructural logics
Dynamic Epistemic Logic as a Substructural Logic
Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
On Metalogical Relativism
Separation Logic Semantics for Communicating Processes
QUANTIFIED MODAL RELEVANT LOGICS
Semantical analysis of the logic of bunched implications
Consistent theories in inconsistent logics
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
Substructural nuclear (image-based) logics and operational Kripke-style semantics
A reasoning system for satisfiability of diagrammatic specifications
One variable relevant logics are S5Ish
Multiset-multiset frames
A generalised union of rely-guarantee and separation logic using permission algebras
Can the classical ladder be kicked away? The view from one rung up
Handling irresolvable conflicts in the semantic web: an RDF-based conflict-tolerant version of the deontic traditional scheme
Conjunctive and disjunctive parts
Fine's semantics for relevance logic and its relevance
Failure of Beth's theorem in relevance logics
-admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
Explicit and implicit belief in first degree entailment with strict implication
Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
An algebraic investigation of linear logic
Dual counterpart intuitionistic logic
New(ish) foundations for theories of entailment
Implicational (dual) residuated semilinear gaggle logics
Polyadic De Morgan monoids: functional representation and MG structures
Sub-sub-intuitionistic logic
There are $2^{\aleph_ 0}$ logics with the relevance principle between R and RM
A relevant logic of questions
Routley star and hyperintensionality
Restricted arrow

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)