The following pages link to (Q3813818):
Displaying 6 items.
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)