The following pages link to Substructural logics: a primer (Q1405890):
Displayed 12 items.
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- MV-algebras and quantum computation (Q2498366) (← links)
- \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- On When a Disjunction Is Informative (Q2908754) (← links)
- A non commutative generalization of *-autonomous lattices (Q3624914) (← links)
- A Paraconsistent and Substructural Conditional Logic (Q4912991) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)