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)- Relevant logics: from semantics to proof systems
- Neighborhoods for entailment
- Relational proof system for relevant logics
- Reflections on Orlov
- Real reduced models for relevant logics without WI
- Gentzenizations of relevant logics with distribution
- scientific article; zbMATH DE number 4061202 (Why is no real title available?)
- A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
- Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
- Semantics for a basic relevant logic with intensional conjunction and disjunction
- scientific article; zbMATH DE number 1828003 (Why is no real title available?)
- Simplified Axiom Schemes for Implication and Iterated Implication
- A star-free semantics for R
- What is a relevant connective?
- On permutation in simplified semantics
- Ternary relations and relevant semantics
- Deep fried logic
- The relevant fragment of first order logic
- Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
- On S
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Boolean negation and non-conservativity. I: Relevant modal logics
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Varieties of Relevant S5
- Two negations are more than one
- Four-valued semantics for relevant logics (and some of their rivals)
- An incompleteness theorem for modal relevant logics
- Notes on stratified semantics
- Understanding negation implicationally in the relevant logic R
- Displaying and deciding substructural logics. I: Logics with contraposition
- From iff to is: some new thoughts on identity in relevant logics
- scientific article; zbMATH DE number 1778910 (Why is no real title available?)
- Truth translations of basic relevant logics
- Simplified semantics for basic relevant logics
- Neighbourhood semantics for modal relevant logics
- scientific article; zbMATH DE number 4063064 (Why is no real title available?)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- scientific article; zbMATH DE number 823590 (Why is no real title available?)
- Free of Detachment: Logic, Rationality, and Gluts
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)
