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

DOI10.1007/BF01349561zbMath0782.03009OpenAlexW2162300758MaRDI 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 semanticsbasic relevant logicBoolean negation

Mathematics Subject Classification ID

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

Related Items (17)

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

Cites Work

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

This page was built for publication: Simplified semantics for relevant logics (and some of their rivals)