The following pages link to (Q3666849):
Displaying 9 items.
- General-elimination stability (Q526738) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
