Pages that link to "Item:Q3083364"
From MaRDI portal
The following pages link to Orthomodular lattices and closure operations in ordered vector spaces (Q3083364):
Displaying 7 items.
- New operations on orthomodular lattices: ``Disjunction'' and ``conjunction'' induced by Mackey decompositions (Q698543) (← links)
- Orthomodular lattices in ordered vector spaces (Q868727) (← links)
- Ortho and causal closure operations in ordered vector spaces (Q998765) (← links)
- A representation theory for orthomodular lattices by means of closure spaces (Q1086268) (← links)
- Ortho and causal closure as a closure operations in the causal logic (Q2575512) (← links)
- Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence (Q5114208) (← links)
- Graph Transformations (Q5292607) (← links)