Pages that link to "Item:Q1264370"
From MaRDI portal
The following pages link to From basic logic to quantum logics with cut-elimination (Q1264370):
Displaying 12 items.
- Quantum states as virtual singletons: converting duality into symmetry (Q472718) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
- Embedding classical logic into basic orthologic with a primitive modality (Q4392657) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)