Pages that link to "Item:Q1894594"
From MaRDI portal
The following pages link to Proof theory for minimal quantum logic: A remark (Q1894594):
Displaying 7 items.
- 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 for minimal quantum logic. II (Q1340318) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- (Q4719210) (← links)
- (Q5690609) (← links)