Pages that link to "Item:Q1340318"

The following pages link to Proof theory for minimal quantum logic. II (Q1340318):

Displaying 2 items.

• Proof theory of paraconsistent quantum logic (Q1749807) (← links)
• A solution of the uniform word problem for ortholattices (Q3583025) (← links)