Semantics for relevant logics

DOI10.2307/2272559MaRDI QIDQ5656747zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(71)

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

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)