A short note on lattices allowing disjunctive reasoning

dc.contributor.author	Trillas i Gay, Enric
dc.contributor.author	Renedo, Eloy
dc.contributor.author	Alsina Català, Claudi
dc.date.accessioned	2007-10-10T12:38:49Z
dc.date.available	2007-10-10T12:38:49Z
dc.date.issued	2006
dc.description.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.
dc.format.extent	135-137
dc.identifier.issn	1134-5632
dc.identifier.uri	https://hdl.handle.net/2099/3669
dc.language.iso	eng
dc.publisher	Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartof	Mathware & Soft Computing. 2006, vol. 13, núm. 3
dc.rights	Reconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.access	Open Access
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.ams	Classificació AMS::03 Mathematical logic and foundations::03G Algebraic logic
dc.subject.lemac	Lògica algebraica
dc.subject.other	Disjunctive reasoning
dc.subject.other	Ortholattices
dc.subject.other	De Morgan algebras
dc.subject.other	Boolean algebras
dc.title	A short note on lattices allowing disjunctive reasoning
dc.type	Article
dspace.entity.type	Publication

Fitxers

Mostrant 1 - 1 de 1