The following pages link to (Q5146648):
Displaying 4 items.
- New operations on orthomodular lattices: ``Disjunction'' and ``conjunction'' induced by Mackey decompositions (Q698543) (← links)
- A generalized modal logic in causal structures (Q1733058) (← links)
- Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence (Q5114208) (← links)
- Regular Orthomodular Posets (Q5379875) (← links)