Semantics for relevant logics
From MaRDI portal
Cites work
Cited in
(86)- Investigations into a left-structural right-substructural sequent calculus
- On purported Gentzen formulations of two positive relevant logics
- Sequent-systems and groupoid models. I
- Language in action
- Classical relevant logics. II
- Relevant analytic tableaux
- Sequent-systems and groupoid models. II
- Informational interpretation of substructural propositional logics
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Normal modal substructural logics with strong negation
- Bisimulation for conditional modalities
- Varieties of De Morgan monoids: minimality and irreducible algebras
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
- Model checking mobile ambients
- Constrained consequence
- A conservative negation extension of positive semilattice logic without the finite model property
- A reinterpretation of the semilattice semantics with applications
- Lambek calculus with conjugates
- An incompleteness theorem for modal relevant logics
- Idempotent variations on the theme of exclusive disjunction
- Disjunction and negation in information based semantics
- What is a relevant connective?
- Truthmaker semantics for relevant logic
- A characteristic frame for positive intuitionistic and relevance logic
- Linear and affine logics with temporal, spatial and epistemic operators
- The finite embeddability property for residuated groupoids.
- Converse Ackermann property and semiclassical negation
- Grounding principles for (relevant) implication
- The relevance of relevance to relevance logic
- Free of Detachment: Logic, Rationality, and Gluts
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- Expanding the logic of paradox with a difference-making relevant implication
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- A Complete Axiomatic System for a Process-Based Spatial Logic
- Temporal BI: proof system, semantics and translations
- On the ternary relation and conditionality
- Non-normal modalities in variants of linear logic
- Substructural epistemic logics
- Fibred tableaux for multi-implication logics
- 2003 Annual Meeting of the Association for Symbolic Logic
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics
- 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
- A Lewisian semantics for S2
- Grounding rules for (relevant) implication
- A Logical Autobiography
- Relevance-Sensitive Truth-Trees
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
- Geometric Models for Relevant Logics
- Revisiting Semilattice Semantics
- The Universal Theory Tool Building Toolkit Is Substructural
- St. Alasdair on Lattices Everywhere
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- An explanation for the ternary relation R in the relational semantics of relevance logic
- Dynamic Epistemic Logic as a Substructural Logic
- Convolution as a Unifying Concept
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Four relevant Gentzen systems
- Ternary relations and relevant semantics
- Semantical analysis of the logic of bunched implications
- Modal information logics: axiomatizations and decidability
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- A substructural approach to explicit modal logic
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- An algebraic glimpse at bunched implications and separation logic
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Epistemic logics for relevant reasoners
- A vector logic for extensional formal semantics
- Truth-maker semantics for some substructural logics
- Conjunctive and disjunctive parts
- Fine's semantics for relevance logic and its relevance
- Relevant semantics for connexive logics
- A note on contradictions in Francez-Weiss logics
- Proofs with star and perp
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Implying and containing in truthmaker semantics
- Introduction: directions and new directions
- Relevant S is undecidable
- New(ish) foundations for theories of entailment
- Entailment, mingle and binary accessibility
- Relational patterns, partiality, and set lifting in modal semantics
- The mereological basis of truthmaker semantics
- A relevant logic of questions
- From IF to BI. A tale of dependence and separation
This page was built for publication: Semantics for relevant logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5656747)
