Pages that link to "Item:Q1325718"
From MaRDI portal
The following pages link to Proof theory for minimal quantum logic. I (Q1325718):
Displaying 6 items.
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Proof theory for minimal quantum logic. II (Q1340318) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Proof theory for minimal quantum logic: A remark (Q1894594) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- A solution of the uniform word problem for ortholattices (Q3583025) (← links)
