Pages that link to "Item:Q3396661"
From MaRDI portal
The following pages link to Generalizations of Implication Algebras (Q3396661):
Displaying 13 items.
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- The extended alpha-triple I algorithm based on the generalized implication operator (Q1028695) (← links)
- General implicativity in groupoids (Q1634690) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- Simple axioms for orthomodular implication algebras (Q1768659) (← links)
- Towards an algebraic semantics for implicatives (Q2228452) (← links)
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- (Q2723900) (← links)
- (Q3732989) (← links)
- (Q4011579) (← links)
- (Q4955947) (← links)
- Orthomodular implication algebras (Q5955524) (← links)
- Implication algebras and implication semigroups of binary relations (Q6174423) (← links)