|
Revistes i Congressos UPC >
Revistes >
Mathware & soft computing >
2006, Vol. XIII, Núm. 2 >
Quan citeu aquest document, utilitzeu la següent adreça:
http://hdl.handle.net/2099/3669
|
| Títol: | A short note on lattices allowing disjunctive reasoning |
| Autor: | Trillas i Gay, Enric  ; Renedo, Eloy; Alsina Català, Claudi |
| Editorial: | Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica |
| Tipus de document: | Article |
| Resum: | 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. |
| ISSN: | 1134-5632 |
| URI: | http://hdl.handle.net/2099/3669 |
| Apareix a les col·leccions: | 2006, Vol. XIII, Núm. 2
|
| Comparteix: |
|
Queda prohibida la reproducció, transformació, distribució i comunicació pública d'aquesta obra. Es permet, en tot cas, la reproducció per a ús privat sempre i quan la còpia que se'n faci no sigui objecte d'utilització col·lectiva ni lucrativa (art. 31.2 del Reial Decret Legislatiu 1/1996, de 12 d'abril, pel qual s'aprova el Text Refós de la Llei de Propietat Intel·lectual, http://bibliotecnica.upc.es/sepi/legislacio.asp).
Per a qualsevol ús que es vulgui fer diferent al permès, dirigiu-vos a: sepi@upc.edu
|
English
Castellano
Català
