Logic
Mathematics
Algebra
Fuzzy logic
Non-classical logic
Lattice theory
Mathematical logic
Algebraic logic
Monoidal t-norm logic
BL
Residuated lattice
MV-algebra