A short note on lattices allowing disjunctive reasoning.

Enric Trillas; Eloy Renedo; Claudi Alsina

Mathware and Soft Computing (2006)

  • Volume: 13, Issue: 2, page 135-137
  • ISSN: 1134-5632

Abstract

top
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.

How to cite

top

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 -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.