A short note on lattices allowing disjunctive reasoning

View/Open
Document typeArticle
Defense date2006
PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 3.0 Spain
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.
ISSN1134-5632
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
4-trillas.pdf | 234,2Kb | View/Open |