A star-free semantics for R

DOI10.2307/2275852MaRDI QIDQ4842634zbMATH OpenOpenAlexFDO

Authors Edwin D. Mares

Publication date 17 March 1996

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275852

zbMATH Keywords

entailmentrelevance logicRoutley-Meyer semantics

Mathematics Subject Classification ID

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

Recommendations

• Understanding negation implicationally in the relevant logic R
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Simplified semantics for basic relevant logics
• Four-valued semantics for relevant logics (and some of their rivals)
• Simplified semantics for relevant logics (and some of their rivals)

Cites work

• Intuitive semantics for first-degree entailments and `coupled trees'
• Metacompleteness
• The semantics of entailment. II
• The Semantics of First Degree Entailment

Cited in

(7)

• Star free expressions over the reals
• ``Four-valued semantics for the relevant logic R
• Negation on the Australian plan
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Understanding negation implicationally in the relevant logic R
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• The nature of information: a relevant approach

This page was built for publication: A star-free semantics for R

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