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
14.368 Articles in journals published by the UPC
You are here:
View Item 
  •   DSpace Home
  • Revistes
  • Mathware & soft computing
  • 2006, Vol. XIII, Núm. 1
  • View Item
  •   DSpace Home
  • Revistes
  • Mathware & soft computing
  • 2006, Vol. XIII, Núm. 1
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

An orthogonality-based classification of conjectures in ortholattices

Thumbnail
View/Open
5-trillas.pdf (1,606Mb)
  View UPCommons Usage Statistics
  LA Referencia / Recolecta stats
Includes usage data since 2022
Cita com:
hdl:2099/3657

Show full item record
Trillas i Gay, EnricMés informacióMés informació
Pradera Gómez, Ana
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
This work is protected by the corresponding intellectual and industrial property rights. Except where otherwise noted, its contents are licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain
Abstract
A mathematical model for conjectures (including hypotheses, consequences and speculations), was recently introduced, in the context of ortholattices, by Trillas, Cubillo and Castiñeira (Artificial Intelligence 117, 2000, 255-257). The aim of the present paper is to further clarify the structure of this model by studying its relationships with one of the most important ortholattices' relation, the orthogonality relation. The particular case of orthomodular lattices -the framework for both Boolean and quantum logics- is specifically taken into account.
 
[Reviewed by Vinayak V. Joshi]- -In the present paper, the authors prove results regarding the orthogonality of the elements of the set of strict conjectures with $p_{\wedge}$ in ortholattices; their results may be summarized as follows: 1. The only conjectures which are always left-orthogonal to $p_{\wedge}$ are consequences, whereas hypotheses are the only ones which are always right-orthogonal. But in the case of orthomodular lattices, consequences and hypotheses both are orthogonal to $p_{\wedge}$. 2. In general, it is possible to find conjectures of any kind (consequences, hypotheses or speculations of the two types) that are both left- and right-orthogonal to $p_{\wedge}$. 3. A conjecture that is neither left- nor right-orthogonal to $p_{\wedge}$ is necessarily a speculation.
URIhttp://hdl.handle.net/2099/3657
ISSN1134-5632
Collections
  • Mathware & soft computing - 2006, Vol. XIII, Núm. 1 [5]
  View UPCommons Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
5-trillas.pdf1,606MbPDFView/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
  • Metadata under:Metadata under CC0
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina