The following pages link to (Q3222844):
Displaying 21 items.
- An intriguing logic with two implicational connectives (Q698537) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Algorithms and computations for foldedness of P-ideals in BCI-algebras (Q959054) (← links)
- Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras (Q975874) (← links)
- Linearization of the BCK-logic (Q1576377) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Implication in MV-algebras (Q2577699) (← links)
- (Q2983915) (← links)
- (Q2998392) (← links)
- (Q3218121) (← links)
- (Q3352995) (← links)
- Ideals and atoms of BZ-algebras (Q3391504) (← links)
- (Q3518411) (← links)
- (Q3682485) (← links)
- (Q3978820) (← links)
- (Q4262070) (← links)
- (Q4305491) (← links)
- (Q4390773) (← links)
- Glivenko like theorems in natural expansions of BCK-logic (Q4459591) (← links)
- (Q4531081) (← links)
- BCI-Algebras and Related Logics (Q5039833) (← links)