On the reducibility of hypotheses and consequences
This paper only tries to shed some additional light on the concepts of hypotheses and consequences, introduced by Trillas et al. [E. Trillas, S. Cubillo, and E. Castieira, On conjectures in orthocomplemented lattices, Artificial Intelligence, 117 (2) (2000) 255275] as particular cases of the more general concept of conjecture. The definitions of reducible hypothesis and reducible consequence are presented, and it is shown that in orthomodular lattices all hypotheses and consequences are reducible, but that this is not necessarily the case in proper ortholattices. In addition, the sets of reducible hypotheses and consequences are characterized, both for general ortholattices as well as for the particular case of orthomodular lattices.
reducibility hypotheses consequences conjectures orthomodular lattices ortholattices reducible/non-reducible conjecture