Residuated Lattice

Lattice-theoretic models of conjectures, hypotheses and consequences

Trillas, Cubillo and Castiñeira [Artificial Intelligence 117 (2000) 255–275] defined several interesting operators in orthocomplemented …

Mingsheng Ying, Huaiqing Wang