Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
13.660 Articles in journals published by the UPC
You are here:
View Item 
  •   DSpace Home
  • Revistes
  • Mathware & soft computing
  • 2006, Vol. XIII, Núm. 2
  • View Item
  •   DSpace Home
  • Revistes
  • Mathware & soft computing
  • 2006, Vol. XIII, Núm. 2
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A short note on lattices allowing disjunctive reasoning

Thumbnail
View/Open
4-trillas.pdf (234,2Kb)
  View Usage Statistics
  LA Referencia / Recolecta stats
Cita com:
hdl:2099/3669

Show full item record
Trillas i Gay, EnricMés informacióMés informació
Renedo, Eloy
Alsina Català, ClaudiMés informacióMés informació
Document typeArticle
Defense date2006
PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
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
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.
URIhttp://hdl.handle.net/2099/3669
ISSN1134-5632
Collections
  • Mathware & soft computing - 2006, Vol. XIII, Núm. 2 [4]
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
4-trillas.pdf234,2KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina