Pages that link to "Item:Q2156555"
From MaRDI portal
The following pages link to The logic induced by effect algebras (Q2156555):
Displaying 6 items.
- Effect algebras are conditionally residuated structures (Q422485) (← links)
- Properties of implication in effect algebras (Q2054647) (← links)
- Behavioural equivalence via modalities for algebraic effects (Q2323978) (← links)
- (Q5432834) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5915785) (← links)
- Algebraic structures formalizing the logic of effect algebras incorporating time dimension (Q6660461) (← links)