DSpace DSpace UPC
 English   Castellano   Català  

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

Arxiu Descripció MidaFormat
4-trillas.pdf234,21 kBAdobe PDFVeure/Obrir

Títol: A short note on lattices allowing disjunctive reasoning
Autor: Trillas i Gay, Enric Veure Producció científica UPC; Renedo, Eloy; Alsina Català, Claudi Veure Producció científica UPC
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:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius