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