Pages that link to "Item:Q1176707"
From MaRDI portal
The following pages link to A characterization of nuclei in orthomodular and quantic lattices (Q1176707):
Displaying 8 items.
- Tests for loop nuclei and a new criterion for a Latin square to be group-based (Q703608) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Quantum logic and linear logic (Q1330093) (← links)
- Orthomodular lattices and quantales (Q2505962) (← links)
- Quantum logic in dagger kernel categories (Q2825365) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- A characterization of quantic quantifiers in orthomodular lattices (Q3411944) (← links)
- (Q4805457) (← links)