Example image of eyePlorer eyePlorer map for 'Residuated lattice': Abstract algebra Algebraic structure Lattice (order) Monoid Boolean algebra (structure) Heyting algebra MV-algebra Relation algebra Residuated Boolean algebra Action algebra Kleene algebra Residuated lattice Mathematics Galois connection Variety (universal algebra) Linear logic Monus Formal language Natural language Peirce's law Tautology Robert P. Dilworth BL (logic) Monoidal t-norm logic Map of lattices T-norm fuzzy logics Fuzzy logic T-norm List of algebraic structures
Disclaimer