Pages that link to "Item:Q4894717"
From MaRDI portal
The following pages link to Gentzenizations of relevant logics without distribution. I (Q4894717):
Displayed 6 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Free semantics (Q600848) (← links)
- CE is not a conservative extension of E (Q1576386) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- Logic—The Big Picture (Q5241533) (← links)