Simplified semantics for relevant logics (and some of their rivals)
From MaRDI portal
(Redirected from Publication:689076)
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)- scientific article; zbMATH DE number 4061202 (Why is no real title available?)
- Two negations are more than one
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
- scientific article; zbMATH DE number 1778910 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 4063064 (Why is no real title available?)
- Reflections on Orlov
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Varieties of Relevant S5
- On S
- The relevant fragment of first order logic
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- 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
- Notes on stratified semantics
- Deep fried logic
- scientific article; zbMATH DE number 1828003 (Why is no real title available?)
- 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)
- Neighborhoods for entailment
- Free of Detachment: Logic, Rationality, and Gluts
- What is a relevant connective?
- scientific article; zbMATH DE number 823590 (Why is no real title available?)
- Understanding negation implicationally in the relevant logic R
- From iff to is: some new thoughts on identity in relevant logics
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)
