Pages that link to "Item:Q1264370"
From MaRDI portal
The following pages link to From basic logic to quantum logics with cut-elimination (Q1264370):
Displayed 4 items.
- Quantum states as virtual singletons: converting duality into symmetry (Q472718) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)