Pages that link to "Item:Q4894718"
From MaRDI portal
The following pages link to Gentzenizations of relevant logics without distribution. II (Q4894718):
Displayed 4 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← 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)