Pages that link to "Item:Q3480040"
From MaRDI portal
The following pages link to The deduction theorem for quantum logic—some negative results (Q3480040):
Displayed 6 items.
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- Some properties of orthologics (Q813075) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- A theory of computation based on quantum logic. I (Q2575078) (← links)
- Weakly algebraizable logics (Q4508251) (← links)