Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-44990-6_8 ◽

2001 ◽

pp. 107-114 ◽

Author(s):

Angel Fernandez Pineda ◽

Enric Trillas ◽

Claudio Vaucheret

Download Full-text