The following pages link to (Q4459272):
Displayed 7 items.
- A general characterization of the variable-sharing property by means of logical matrices (Q435241) (← links)
- Free semantics (Q600848) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart (Q2254554) (← links)
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle (Q2443123) (← links)