Simplified semantics for relevant logics (and some of their rivals)

DOI10.1007/BF01349561zbMath0782.03009MaRDI QIDQ689076

Greg Restall

Publication date: 16 February 1994

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

Full work available at URL: https://doi.org/10.1007/bf01349561

zbMATH Keywords

ternary-relation semantics; basic relevant logic; Boolean negation

Mathematics Subject Classification ID

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

Related Items

Gentzenizations of relevant logics with distribution, Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions), Reflections on Orlov, Varieties of Relevant S5, On permutation in simplified semantics, Displaying and deciding substructural logics. I: Logics with contraposition, Four-valued semantics for relevant logics (and some of their rivals), Neighborhoods for entailment, An incompleteness theorem for modal relevant logics, What is a relevant connective?, Notes on stratified semantics, Neighbourhood semantics for modal relevant logics, THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC, Free of Detachment: Logic, Rationality, and Gluts, Two Negations Are More than One, CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R

Cites Work

• Completeness and conservative extension results for some Boolean relevant logics
• Simplified semantics for basic relevant logics
• Unnamed Item
• Unnamed Item