Trillas, Enric, Renedo, Eloy, and Alsina, Claudi. "A short note on lattices allowing disjunctive reasoning.." Mathware and Soft Computing 13.2 (2006): 135-137. <http://eudml.org/doc/41877>.
@article{Trillas2006,
abstract = {This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality b' · (a+b) ≤ a, forces the structure to be a boolean algebra.},
author = {Trillas, Enric, Renedo, Eloy, Alsina, Claudi},
journal = {Mathware and Soft Computing},
keywords = {Retículos; Algebras de Morgan; Algebras de Boole; disjunctive reasoning; ortholattices; De Morgan algebras; Boolean algebras},
language = {eng},
number = {2},
pages = {135-137},
title = {A short note on lattices allowing disjunctive reasoning.},
url = {http://eudml.org/doc/41877},
volume = {13},
year = {2006},
}
TY - JOUR
AU - Trillas, Enric
AU - Renedo, Eloy
AU - Alsina, Claudi
TI - A short note on lattices allowing disjunctive reasoning.
JO - Mathware and Soft Computing
PY - 2006
VL - 13
IS - 2
SP - 135
EP - 137
AB - This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality b' · (a+b) ≤ a, forces the structure to be a boolean algebra.
LA - eng
KW - Retículos; Algebras de Morgan; Algebras de Boole; disjunctive reasoning; ortholattices; De Morgan algebras; Boolean algebras
UR - http://eudml.org/doc/41877
ER -
