Understanding negation implicationally in the relevant logic R

DOI10.1007/s11225-016-9676-xzbMath1417.03167OpenAlexW2412341804MaRDI QIDQ514515

Takuro Onishi

Publication date: 2 March 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9676-x

zbMATH Keywords

relational semanticsrelevant logicdisplay calculusnegation as modalityRoutley star

Mathematics Subject Classification ID

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

Related Items

Disentangling structural connectives or life without display property, Bridging the Two Plans in the Semantics for Relevant Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• Negation in the context of gaggle theory
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The semantics of entailment. II
• Displaying and deciding substructural logics. I: Logics with contraposition
• Relevant logic and the theory of information
• Display logic
• Constructive negation, implication, and co-implication
• Defining double negation elimination
• A star-free semantics for R
• The Semantics of First Degree Entailment