Simplified semantics for relevant logics (and some of their rivals)
From MaRDI portal
Publication:689076
DOI10.1007/BF01349561zbMath0782.03009MaRDI QIDQ689076
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
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Gentzenizations of relevant logics with distribution, Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions), Reflections on Orlov, Varieties of Relevant S5, On permutation in simplified semantics, Displaying and deciding substructural logics. I: Logics with contraposition, Four-valued semantics for relevant logics (and some of their rivals), Neighborhoods for entailment, An incompleteness theorem for modal relevant logics, What is a relevant connective?, Notes on stratified semantics, Neighbourhood semantics for modal relevant logics, THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC, Free of Detachment: Logic, Rationality, and Gluts, Two Negations Are More than One, CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R
Cites Work