Àlgebres quasi-hilbertianes

In this paper we study the algebras obtained by having the deduction theorem on the sets of two elements, calling them Q.H.-algebras .Adding to them the FREGE'S law, we obtain a Hilbert algebra ; adding to them the law (x .y) .y = (y .x) .x, we obtain that thay form a variety; suposing the exis...

Descripción completa

Detalles Bibliográficos
Autores: Pla i Carrera, Josep, Verdú, B. (Buenaventura)
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:1980
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/132752
Acceso en línea:https://hdl.handle.net/2445/132752
Access Level:acceso abierto
Palabra clave:Àlgebres de Hilbert
Hilbert algebras
id ES_fb74985cfbb31eeffc550df6cc480fda
oai_identifier_str oai:diposit.ub.edu:2445/132752
network_acronym_str ES
network_name_str España
repository_id_str
spelling Àlgebres quasi-hilbertianesPla i Carrera, JosepVerdú, B. (Buenaventura)Àlgebres de HilbertHilbert algebrasIn this paper we study the algebras obtained by having the deduction theorem on the sets of two elements, calling them Q.H.-algebras .Adding to them the FREGE'S law, we obtain a Hilbert algebra ; adding to them the law (x .y) .y = (y .x) .x, we obtain that thay form a variety; suposing the existence of a least element to the later , we obtain an ortolattice wich gives a boolean algebra on an ortomodular lattice, according to the nature of implication classical or strong.Universitat Autònoma de Barcelona1980info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/2445/132752Articles publicats en revistes (Matemàtiques i Informàtica)reponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaCatalánReproducció del document publicat a: https://doi.org/10.5565/PUBLMAT_20180_18Publicacions Matemàtiques, 1980, vol. 20, p. 97-99https://doi.org/10.5565/PUBLMAT_20180_18(c) Universitat Autònoma de Barcelona, 1980info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/1327522026-05-27T06:46:51Z
dc.title.none.fl_str_mv Àlgebres quasi-hilbertianes
title Àlgebres quasi-hilbertianes
spellingShingle Àlgebres quasi-hilbertianes
Pla i Carrera, Josep
Àlgebres de Hilbert
Hilbert algebras
title_short Àlgebres quasi-hilbertianes
title_full Àlgebres quasi-hilbertianes
title_fullStr Àlgebres quasi-hilbertianes
title_full_unstemmed Àlgebres quasi-hilbertianes
title_sort Àlgebres quasi-hilbertianes
dc.creator.none.fl_str_mv Pla i Carrera, Josep
Verdú, B. (Buenaventura)
author Pla i Carrera, Josep
author_facet Pla i Carrera, Josep
Verdú, B. (Buenaventura)
author_role author
author2 Verdú, B. (Buenaventura)
author2_role author
dc.subject.none.fl_str_mv Àlgebres de Hilbert
Hilbert algebras
topic Àlgebres de Hilbert
Hilbert algebras
description In this paper we study the algebras obtained by having the deduction theorem on the sets of two elements, calling them Q.H.-algebras .Adding to them the FREGE'S law, we obtain a Hilbert algebra ; adding to them the law (x .y) .y = (y .x) .x, we obtain that thay form a variety; suposing the existence of a least element to the later , we obtain an ortolattice wich gives a boolean algebra on an ortomodular lattice, according to the nature of implication classical or strong.
publishDate 1980
dc.date.none.fl_str_mv 1980
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/132752
url https://hdl.handle.net/2445/132752
dc.language.none.fl_str_mv Catalán
language_invalid_str_mv Catalán
dc.relation.none.fl_str_mv Reproducció del document publicat a: https://doi.org/10.5565/PUBLMAT_20180_18
Publicacions Matemàtiques, 1980, vol. 20, p. 97-99
https://doi.org/10.5565/PUBLMAT_20180_18
dc.rights.none.fl_str_mv (c) Universitat Autònoma de Barcelona, 1980
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Universitat Autònoma de Barcelona, 1980
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Autònoma de Barcelona
publisher.none.fl_str_mv Universitat Autònoma de Barcelona
dc.source.none.fl_str_mv Articles publicats en revistes (Matemàtiques i Informàtica)
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869425330310086656
score 15.300724

Similares en LA Referencia