Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo

[spa] El presente trabajo fue iniciado como un estudio de las negaciones utilizadas en las diversas lógicas, tema que fue motivado por los trabajos que sobre lógica algebraica vienen desarrollándose en el departamento de Estadística. Partimos de la definición de negación dada por el profesor F. de A...

Full description

Bibliographic Details
Author: Esteva Massaguer, Francesc
Format: doctoral thesis
Status:Published version
Publication Date:1974
Country:España
Institution:Universidad de Barcelona
Repository:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/35466
Online Access:https://hdl.handle.net/2445/35466
http://www.tdx.cat/TDX-0329111-104314
http://hdl.handle.net/10803/1576
Access Level:Open access
Keyword:Lògica matemàtica
Teoria dels reticles
Mathematical logic
Lattice theory
id ES_69d923a10bc0e1c557eb8ba2ee2faf72
oai_identifier_str oai:diposit.ub.edu:2445/35466
network_acronym_str ES
network_name_str España
repository_id_str
spelling Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículoEsteva Massaguer, FrancescLògica matemàticaTeoria dels reticlesMathematical logicLattice theory[spa] El presente trabajo fue iniciado como un estudio de las negaciones utilizadas en las diversas lógicas, tema que fue motivado por los trabajos que sobre lógica algebraica vienen desarrollándose en el departamento de Estadística. Partimos de la definición de negación dada por el profesor F. de A. Sales Vallés, que es una aplicación entre ordenados y, en especial, entre retículos, que cumple las condiciones máximas posibles de forma que las negaciones utilizadas en las distintas lógicas sean casos particulares de la definición dada. Dichas negaciones han sido objeto, anteriormente a esta memoria, de varios trabajos de los que se han publicado los del profesor F. de A. Sales Vallés, el de J. Pla y el de F. Esteva. La presente memoria parte de estos trabajos y se dedica al estudio de las negaciones en los retículos completos. En resumen, los resultados que se obtienen son los siguientes: En el capítulo 1 se parte de que la imagen por una negación de un retículo completo es un inf-semirretículo completo que contiene al máximo, y se estudia si, dado cualquier inf-semirretículo que contiene al máximo, existe siempre una negación que lo tenga por imagen. La respuesta es negativa, y se dan condiciones necesarias y suficientes para que la aplicación entre negaciones e inf-semirret!oulos completos que contienen al máximo, sea inyectiva, exhaustiva o biyectiva. As! se ve que esta aplicación es una biyección si, y sólo si, el retículo es una cadena finita. En el capítulo 2 se estudia el conjunto N(L) de todas las negaciones que pueden definirse en un retículo completo. En el apartado 1 se demuestra que N(L) es un retículo completo. En el apartado 2 se dan condiciones, unas necesarias y otras suficientes, para que dicho retículo sea distributivo e infinitamente distributivo. En el apartado 3 se demuestra que la condición necesaria y suficiente para que el retículo sea un álgebra de Boole es que sea atómica, resultado que se completa en el apartado 4 al demostrar que toda álgebra de Boole de negaciones es atómica, así como al hallar la posición ocupada por la complementación del álgebra de Boole en el retículo de las negaciones. Por último, en el apartado. 5 se halla una aplicación entre un álgebra de Boole y el retículo de sus negaciones que es un monomorfismo reticular, y que nos permite, por tanto, sumergir toda álgebra de Boole completa en el retículo de sus negaciones. En el capítulo 3 se recogen y completan diversos resultados hallados en los capítulos anteriores sobre las negaciones en las cadenas completas. Así, en el cap. 2 se da una regla para construir el supremo de dos negaciones y en este capítulo se demuestra que sólo es válida para hallar el supremo de familias finitas de negaciones. También en el cap. 2 se demuestra que si un retículo es completo, atómico y distributivo, el retículo de sus negaciones es distributivo, y en el cap. 3 al demostrar que el retículo de las negaciones de una cadena completa es siempre distributivo, se prueba que la condición dada en el cap. 2 es sólo suficiente. Por último, en una nota se da una demostración del conocido teorema de completación de Mac Neille en el caso de cadenas, utilizando los retículos de negaciones.Universitat de BarcelonaSales Vallés, F. de A. (Francisco de A.), 1914-2005Universitat de Barcelona. Departament d'Estadística1974info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/2445/35466http://www.tdx.cat/TDX-0329111-104314http://hdl.handle.net/10803/1576Tesis Doctorals - Departament - Estadísticareponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaEspañol(c) Esteva Massaguer, 1974info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/354662026-05-27T06:46:51Z
dc.title.none.fl_str_mv Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
title Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
spellingShingle Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
Esteva Massaguer, Francesc
Lògica matemàtica
Teoria dels reticles
Mathematical logic
Lattice theory
title_short Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
title_full Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
title_fullStr Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
title_full_unstemmed Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
title_sort Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
dc.creator.none.fl_str_mv Esteva Massaguer, Francesc
author Esteva Massaguer, Francesc
author_facet Esteva Massaguer, Francesc
author_role author
dc.contributor.none.fl_str_mv Sales Vallés, F. de A. (Francisco de A.), 1914-2005
Universitat de Barcelona. Departament d'Estadística
dc.subject.none.fl_str_mv Lògica matemàtica
Teoria dels reticles
Mathematical logic
Lattice theory
topic Lògica matemàtica
Teoria dels reticles
Mathematical logic
Lattice theory
description [spa] El presente trabajo fue iniciado como un estudio de las negaciones utilizadas en las diversas lógicas, tema que fue motivado por los trabajos que sobre lógica algebraica vienen desarrollándose en el departamento de Estadística. Partimos de la definición de negación dada por el profesor F. de A. Sales Vallés, que es una aplicación entre ordenados y, en especial, entre retículos, que cumple las condiciones máximas posibles de forma que las negaciones utilizadas en las distintas lógicas sean casos particulares de la definición dada. Dichas negaciones han sido objeto, anteriormente a esta memoria, de varios trabajos de los que se han publicado los del profesor F. de A. Sales Vallés, el de J. Pla y el de F. Esteva. La presente memoria parte de estos trabajos y se dedica al estudio de las negaciones en los retículos completos. En resumen, los resultados que se obtienen son los siguientes: En el capítulo 1 se parte de que la imagen por una negación de un retículo completo es un inf-semirretículo completo que contiene al máximo, y se estudia si, dado cualquier inf-semirretículo que contiene al máximo, existe siempre una negación que lo tenga por imagen. La respuesta es negativa, y se dan condiciones necesarias y suficientes para que la aplicación entre negaciones e inf-semirret!oulos completos que contienen al máximo, sea inyectiva, exhaustiva o biyectiva. As! se ve que esta aplicación es una biyección si, y sólo si, el retículo es una cadena finita. En el capítulo 2 se estudia el conjunto N(L) de todas las negaciones que pueden definirse en un retículo completo. En el apartado 1 se demuestra que N(L) es un retículo completo. En el apartado 2 se dan condiciones, unas necesarias y otras suficientes, para que dicho retículo sea distributivo e infinitamente distributivo. En el apartado 3 se demuestra que la condición necesaria y suficiente para que el retículo sea un álgebra de Boole es que sea atómica, resultado que se completa en el apartado 4 al demostrar que toda álgebra de Boole de negaciones es atómica, así como al hallar la posición ocupada por la complementación del álgebra de Boole en el retículo de las negaciones. Por último, en el apartado. 5 se halla una aplicación entre un álgebra de Boole y el retículo de sus negaciones que es un monomorfismo reticular, y que nos permite, por tanto, sumergir toda álgebra de Boole completa en el retículo de sus negaciones. En el capítulo 3 se recogen y completan diversos resultados hallados en los capítulos anteriores sobre las negaciones en las cadenas completas. Así, en el cap. 2 se da una regla para construir el supremo de dos negaciones y en este capítulo se demuestra que sólo es válida para hallar el supremo de familias finitas de negaciones. También en el cap. 2 se demuestra que si un retículo es completo, atómico y distributivo, el retículo de sus negaciones es distributivo, y en el cap. 3 al demostrar que el retículo de las negaciones de una cadena completa es siempre distributivo, se prueba que la condición dada en el cap. 2 es sólo suficiente. Por último, en una nota se da una demostración del conocido teorema de completación de Mac Neille en el caso de cadenas, utilizando los retículos de negaciones.
publishDate 1974
dc.date.none.fl_str_mv 1974
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/35466
http://www.tdx.cat/TDX-0329111-104314
http://hdl.handle.net/10803/1576
url https://hdl.handle.net/2445/35466
http://www.tdx.cat/TDX-0329111-104314
http://hdl.handle.net/10803/1576
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.rights.none.fl_str_mv (c) Esteva Massaguer, 1974
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Esteva Massaguer, 1974
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat de Barcelona
publisher.none.fl_str_mv Universitat de Barcelona
dc.source.none.fl_str_mv Tesis Doctorals - Departament - Estadística
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_ 1869410059187912705
score 15.300719

Similar Items