The following pages link to Linearization of the BCK-logic (Q1576377):
Displaying 5 items.
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Representable good EQ-algebras (Q989677) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501) (← links)
