Computational reasoning based on complemented distributive lattices

Boyer RS, Moore JS (1986) Overview of a theorem-prover for a computational logic. Lect Notes Comput Sci 230:675–678

Bobillo F, Straccia U (2012) Generalized fuzzy rough description logics. Inf Sci 189:43–62

Zou L, Liu X, Pei Z, Huang DG (2013) Implication operators on the set of ∨-irreducible element in the linguistic truth-valued intuitionistic fuzzy lattice. Int J Mach Learn Cybernet 4(4):365–372

Xu ZB, Liang JY, Dang CY (2002) Inclusion degree: a perspective on measures for rough set data analysis. Inf Sci 141(3–4):227–236

Xu WH, Liu SH, Zhang WX (2013) Lattice-valued information systems based on dominance relation. Int J Mach Learn Cybernet 4(3):245–257

Ma JM, Leung Y, Zhang WX (2013) Attribute reductions in object-oriented concept lattice. Int J Mach Learn Cybern. doi: 10.1007/s13042-013-0214-0

Li QY, Zhu W (2013) Closed-set lattice of regular sets based on a serial and transitive relation through matroids. Int J Mach Learning Cybern. doi: 10.1007/s13042-013-0176-2

Liu Y, Qin XY, Xu Y (2013) Interval-valued intuitionistic (T,S)-fuzzy filters theory on residuated lattices. Int J Mach Learn Cybern. doi: 10.1007/s13042-013-0213-1

Bělohlávek R (2002) Fuzzy relational systems: foundations and principles. Kluwer, New York