Pages that link to "Item:Q3877681"
From MaRDI portal
The following pages link to Sequential method in quantum logic (Q3877681):
Displaying 15 items.
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Empirical logics (Q1325652) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Quantum number theory (Q1770337) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- On interval modal logic with ``after'' relation (Q2364466) (← links)
- 2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650300) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
