A mathematical model for conjectures (including hypotheses, consequences and speculations), was recently introduced, in the context of ortholattices, by Trillas, Cubillo and Castiñeira (Artificial Intelligence 117, 2000, 255-257). The aim of the present paper is to further clarify the structure of this model by studying its relationships with one of the most important ortholattices' relation, the orthogonality relation. The particular case of orthomodular lattices -the framework for both Boolean and quantum logics- is specifically taken into account.
@article{urn:eudml:doc:40875,
title = {An orthogonality-based classification of conjectures in ortholattices.},
journal = {Mathware and Soft Computing},
volume = {13},
year = {2006},
pages = {71-87},
zbl = {1116.06009},
mrnumber = {MR2254172},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:40875}
}
Trillas, Enric; Pradera, Ana. An orthogonality-based classification of conjectures in ortholattices.. Mathware and Soft Computing, Tome 13 (2006) pp. 71-87. http://gdmltest.u-ga.fr/item/urn:eudml:doc:40875/