Pages that link to "Item:Q2062191"
From MaRDI portal
The following pages link to Residuated structures and orthomodular lattices (Q2062191):
Displaying 10 items.
- Left residuated lattices induced by lattices with a unary operation (Q780267) (← links)
- Products of classes of residuated structures (Q1770977) (← links)
- Rickart residuated lattices (Q2100455) (← links)
- Quasicomplemented residuated lattices (Q2153579) (← links)
- On residuation in paraorthomodular lattices (Q2156431) (← links)
- From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (Q2352454) (← links)
- Involutive right-residuated l-groupoids (Q2402069) (← links)
- A lattice in a residually non-Desarguesian A∼2-building (Q5357067) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)