On conjectures in orthocomplemented lattices

摘要

A mathematical model for conjectures in orthocomplemented lattices is presented. After defining when a conjecture is a consequence or a hypothesis, some operators of conjectures, consequences and hypotheses are introduced and some properties they show are studied. This is the case, for example, of being monotonic or non-monotonic operators.