Understanding negation implicationally in the relevant logic R

DOI10.1007/S11225-016-9676-XMaRDI QIDQ514515zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A star-free semantics for R
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Simplified semantics for basic relevant logics
• Relevant logic and the theory of information
• Simplified semantics for relevant logics (and some of their rivals)

Cites work

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 2101978 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• A star-free semantics for R
• Constructive negation, implication, and co-implication
• Defining double negation elimination
• Display logic
• Displaying and deciding substructural logics. I: Logics with contraposition
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation in the context of gaggle theory
• On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
• Proofs, disproofs, and their duals
• Relevant logic and the theory of information
• Substructural negations
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• The Semantics of First Degree Entailment
• The semantics of entailment. II

Cited in

(5)

• Multiset-multiset frames
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• A star-free semantics for R
• Disentangling structural connectives or life without display property
• Bridging the two plans in the semantics for relevant logic

This page was built for publication: Understanding negation implicationally in the relevant logic R

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