A short note on lattices allowing disjunctive reasoning
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Càtedra / Departament / Institut
Tipus de document
Article
Data publicació
Editor
Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Part de
Mathware & Soft Computing. 2006, vol. 13, núm. 3
Condicions d'accés
Accés obert
item.page.rightslicense
Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Llevat que s'hi indiqui el contrari, els seus continguts estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Datasets relacionats
Projecte CCD
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.
Descripció
Document relacionat
Citació
Ajut
Forma part
DOI
Dipòsit legal
ISBN
ISSN
1134-5632