The following pages link to (Q3342629):
Displaying 11 items.
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities (Q1078563) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- On very true operators on pocrims (Q2391233) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- A small set of axioms for residuated logic (Q2568232) (← links)
