Semantics for relevant logics

DOI10.2307/2272559zbMATH Open0245.02028OpenAlexW2073764215MaRDI QIDQ5656747FDOQ5656747

Alasdair Urquhart

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272559

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other model constructions (03C30)

Cites Work

• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Algebraic completeness results for R-mingle and its extensions
• Begründung einer strengen Implikation
• Intensional models for first degree formulas

Cited In (71)

• Truthmaker semantics for relevant logic
• A relevant logic of questions
• Temporal BI: proof system, semantics and translations
• Modal information logics: axiomatizations and decidability
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Sequent-systems and groupoid models. I
• Relevant analytic tableaux
• Ternary relations and relevant semantics
• Idempotent variations on the theme of exclusive disjunction
• A substructural approach to explicit modal logic
• Language in action
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
• Convolution as a Unifying Concept
• Geometric Models for Relevant Logics
• Classical relevant logics. II
• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Substructural epistemic logics
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Normal modal substructural logics with strong negation
• 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
• St. Alasdair on Lattices Everywhere
• An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic
• Semantical analysis of the logic of bunched implications
• Investigations into a left-structural right-substructural sequent calculus
• Converse Ackermann property and semiclassical negation
• On the ternary relation and conditionality
• On purported Gentzen formulations of two positive relevant logics
• Disjunction and negation in information based semantics
• A characteristic frame for positive intuitionistic and relevance logic
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Model checking mobile ambients
• Linear and affine logics with temporal, spatial and epistemic operators
• The Relevance of Relevance to Relevance Logic
• Lambek calculus with conjugates
• Sequent-systems and groupoid models. II
• Non-normal modalities in variants of linear logic
• A Logical Autobiography
• 2003 Annual Meeting of the Association for Symbolic Logic
• The finite embeddability property for residuated groupoids.
• Constrained consequence
• Algebraic Kripke-style semantics for relevance logics
• The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
• Expanding the Logic of Paradox with a Difference-Making Relevant Implication
• Dynamic Epistemic Logic as a Substructural Logic
• Relevance-Sensitive Truth-Trees
• A new approach to classical relevance
• Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic
• An incompleteness theorem for modal relevant logics
• A reinterpretation of the semilattice semantics with applications
• Grounding principles for (relevant) implication
• Revisiting Semilattice Semantics
• Informational interpretation of substructural propositional 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
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• A Lewisian Semantics for S2
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Grounding rules for (relevant) implication
• Fibred tableaux for multi-implication logics
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Epistemic logics for relevant reasoners
• The Universal Theory Tool Building Toolkit Is Substructural
• IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
• An algebraic glimpse at bunched implications and separation logic
• Richard (Routley) Sylvan: Writings on Logic and Metaphysics

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)