Publication:2155944

DOI10.1007/S10992-022-09655-7OpenAlexW4226132963MaRDI QIDQ2155944FDOQ2155944

Shawn Standefer

Publication date: 15 July 2022

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

Full work available at URL: https://doi.org/10.1007/s10992-022-09655-7

zbMATH Keywords

relevant logicconnectivesphilosophy of logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• The logic of paradox
• Conservatively extending classical logic with transparent truth
• Tolerant, classical, strict
• Classical relevant logics. I
• Classical relevant logics. II
• On an intuitionistic modal logic
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Semantical investigations in Heyting's intuitionistic logic
• Philosophy of logic
• An algebraic approach to intuitionistic connectives
• How to be really contraction free
• Routes to triviality
• Curry's paradox, generalized modus ponens axiom and depth relevance
• A metacompleteness theorem for contraction-free relevant logics
• \(\mathbf R\) and relevance principle revisited
• Boolean negation and all that
• Handbook of philosophical logic. Vol. 6
• Intuitionistic hybrid logic
• What is relevance logic?
• Semantics for relevant logics
• Depth relevance of some paraconsistent logics
• A general characterization of the variable-sharing property by means of logical matrices
• Models for entailment
• Relevant predication. I: The formal theory
• Semantics for quantified relevance logic
• Semantics for relevance logic with identity
• Intuitionistic tense and modal logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• Distribution in the Logic of Meaning Containment and in Quantum Mechanics
• Models for stronger normal intuitionistic modal logics
• Simplified semantics for basic relevant logics
• The relevant fragment of first order logic
• Simplified semantics for relevant logics (and some of their rivals)
• Models for normal intuitionistic modal logics
• On some new intuitionistic propositional connectives. I
• An admissible semantics for propositionally quantified relevant logics
• Connectives stranger than tonk
• Natural deduction and Curry's paradox
• Ticket entailment plus the mingle axiom has the variable-sharing property
• Relevant identity
• Operational semantics for positive R
• On permutation in simplified semantics
• A Note on the Relevance of Semilattice Relevance Logic
• A semantic hierarchy for intuitionistic logic
• Models for relevant modal logics
• Nonstandard connectives of intuitionistic propositional logic
• An incompleteness theorem for modal relevant logics
• What is a Classical Connective?
• Supervenience, Dependence, Disjunction
• Farewell to suppression-freedom
• Anything goes
• Varieties of logic
• Negation on the Australian plan
• Blocking the routes to triviality with depth relevance
• The pleasures of anticipation: Enriching intuitionistic logic
• Simplified Kripke-style semantics for some normal modal logics
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
• Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
• METAVALUATIONS
• Strong Depth Relevance
• A modal restriction of R-Mingle with the variable-sharing property
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Hyperintensionality in relevant logics
• Neighbourhood semantics for modal relevant logics
• Varieties of Relevant S5
• Natural deduction and sequent calculus for intuitionistic relevant logic
• On purely relevant logics

This page was built for publication: What is a relevant connective?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2155944)