« Previous
Next »
Subject
Show values starting with
- $BL$-algebra1
- $MV$-algebra1
- $\star$-autonomous lattice1
- De Morgan laws1
- annihilator1
- biresiduation algebra1
- bounded integral residuated lattice1
- closure operator1
- congruence2
- deductive system1
- direct summand1
- filter2
- finitely based variety1
- fuzzy logic1
- generalized $MV$-algebra1
- ideal2
- lattice ordered group1
- local $R\ell $-monoid1
- minimal variety1
- modal operator1