A short note on lattices allowing disjunctive reasoning.

Título inglés	A short note on lattices allowing disjunctive reasoning.
Título español	Nota breve sobre redes que permiten razonamiento disyuntivo.
Autor/es	Trillas, Enric ; Renedo, Eloy ; Alsina, Claudi
Organización	Dep. Intel. Artif. Univ. Politéc. Madrid, Boadilla del Monte (Madrid), España;Sec. Mat. Informàt. ETSAB Univ. Politèc. Catalunya, Barcelona, España
Revista	1134-5632
Publicación	2006, 13 (2): 135-137, 3 Ref.
Tipo de documento	articulo
Idioma	Inglés
Resumen inglés	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.
Clasificación UNESCO	120108
Palabras clave español	Retículos ; Algebras de Morgan ; Algebras de Boole
Código MathReviews	MR2302686
Código Z-Math	Zbl pre05163096
Acceso al artículo completo