Show simple item record

dc.contributor.authorTrillas i Gay, Enric
dc.contributor.authorRenedo, Eloy
dc.contributor.authorAlsina Català, Claudi
dc.date.accessioned2007-10-10T12:38:49Z
dc.date.available2007-10-10T12:38:49Z
dc.date.issued2006
dc.identifier.issn1134-5632
dc.identifier.urihttp://hdl.handle.net/2099/3669
dc.description.abstractThis 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.extent135-137
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartofMathware & Soft Computing. 2006, vol. 13, núm. 3
dc.rightsReconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.otherDisjunctive reasoning
dc.subject.otherOrtholattices
dc.subject.otherDe Morgan algebras
dc.subject.otherBoolean algebras
dc.titleA short note on lattices allowing disjunctive reasoning
dc.typeArticle
dc.subject.lemacLògica algebraica
dc.subject.amsClassificació AMS::03 Mathematical logic and foundations::03G Algebraic logic
dc.rights.accessOpen Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain