Simplified semantics for relevant logics (and some of their rivals)
From MaRDI portal
Publication:689076
DOI10.1007/BF01349561zbMATH Open0782.03009OpenAlexW2162300758MaRDI QIDQ689076FDOQ689076
Authors: Greg Restall 
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
Recommendations
- Simplified semantics for basic relevant logics
- Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- Relevant logics: from semantics to proof systems
- scientific article; zbMATH DE number 4061202
Cites Work
Cited In (40)
- Title not available (Why is that?)
- Two negations are more than one
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Title not available (Why is that?)
- Relational proof system for relevant logics
- Semantics for a basic relevant logic with intensional conjunction and disjunction
- Displaying and deciding substructural logics. I: Logics with contraposition
- Ternary relations and relevant semantics
- Simplified semantics for basic relevant logics
- A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
- Simplified Axiom Schemes for Implication and Iterated Implication
- Neighbourhood semantics for modal relevant logics
- Relevant logics: from semantics to proof systems
- Title not available (Why is that?)
- Reflections on Orlov
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Varieties of Relevant S5
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- The relevant fragment of first order logic
- On S
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
- On permutation in simplified semantics
- Boolean negation and non-conservativity. I: Relevant modal logics
- Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
- Truth translations of basic relevant logics
- Gentzenizations of relevant logics with distribution
- Deep fried logic
- Notes on stratified semantics
- Title not available (Why is that?)
- A star-free semantics for R
- An incompleteness theorem for modal relevant logics
- Real reduced models for relevant logics without WI
- Four-valued semantics for relevant logics (and some of their rivals)
- Title not available (Why is that?)
- Free of Detachment: Logic, Rationality, and Gluts
- Neighborhoods for entailment
- What is a relevant connective?
- From iff to is: some new thoughts on identity in relevant logics
- Understanding negation implicationally in the relevant logic R
This page was built for publication: Simplified semantics for relevant logics (and some of their rivals)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689076)
