Semantics for relevant logics

DOI10.2307/2272559zbMath0245.02028OpenAlexW2073764215MaRDI QIDQ5656747

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)

Related Items (69)

Convolution as a Unifying Concept ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ A relevant logic of questions ⋮ From IF to BI. A tale of dependence and separation ⋮ Linear and affine logics with temporal, spatial and epistemic operators ⋮ Model checking mobile ambients ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ Disjunction and negation in information based semantics ⋮ Converse Ackermann property and semiclassical negation ⋮ What is a relevant connective? ⋮ Sequent-systems and groupoid models. I ⋮ Ternary relations and relevant semantics ⋮ The Relevance of Relevance to Relevance Logic ⋮ Temporal BI: proof system, semantics and translations ⋮ Non-normal modalities in variants of linear logic ⋮ Substructural epistemic logics ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ Semantical analysis of the logic of bunched implications ⋮ Truthmaker semantics for relevant logic ⋮ Modal information logics: axiomatizations and decidability ⋮ Constrained consequence ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ A substructural approach to explicit modal logic ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Grounding principles for (relevant) implication ⋮ Bisimulation for conditional modalities ⋮ On the ternary relation and conditionality ⋮ Normal modal substructural logics with strong negation ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Language in action ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ 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 ⋮ A new approach to classical relevance ⋮ Fibred tableaux for multi-implication logics ⋮ A characteristic frame for positive intuitionistic and relevance logic ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ Classical relevant logics. II ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ A conservative negation extension of positive semilattice logic without the finite model property ⋮ A Complete Axiomatic System for a Process-Based Spatial Logic ⋮ Four relevant Gentzen systems ⋮ The finite embeddability property for residuated groupoids. ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Relevant analytic tableaux ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ Lambek calculus with conjugates ⋮ Richard (Routley) Sylvan: Writings on Logic and Metaphysics ⋮ Sequent-systems and groupoid models. II ⋮ The logical structure of linguistic commitment. II: Systems of relevant commitment entailment ⋮ A Lewisian Semantics for S2 ⋮ An incompleteness theorem for modal relevant logics ⋮ Grounding rules for (relevant) implication ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ On purported Gentzen formulations of two positive relevant logics ⋮ 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 ⋮ Idempotent variations on the theme of exclusive disjunction ⋮ Informational interpretation of substructural propositional logics

Cites Work

This page was built for publication: Semantics for relevant logics