A star-free semantics for R

DOI10.2307/2275852zbMath0833.03008OpenAlexW2000372594MaRDI QIDQ4842634

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)

Related Items (5)

``Four-valued semantics for the relevant logic R ⋮ The nature of information: a relevant approach ⋮ Understanding negation implicationally in the relevant logic R ⋮ Negation on the Australian plan ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras

Cites Work

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

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