Università degli Studi dell'Insubria Insubria Space
 

InsubriaSPACE - Thesis PhD Repository >
Insubria Thesis Repository >
01 - Tesi di dottorato >

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10277/741

Autori: Marigo, Francesco
Tutor interno: GERLA, BRUNELLA
Titolo: Equivalence relations and operators on ordered algebraic structures with difference.
Abstract: This work concerns algebraic models of fuzzy and many-valued propositional logics, in particular Boolean Algebras, Heyting algebras, GBL-algebras and their dual structures, and partial algebras. The central idea is the representation of complex structures through simpler structures and equivalence relations on them: in order to achieve this, a structure is often considered under two points of view, as total algebra and partial algebra. The equivalence relations which allow the representation are congruences of partial algebras. The first chapter introduces D-posets, the partial algebraic structures used for this representation, which generalize Boolean algebras and MV-algebras. The second chapter is a study of congruences on D-posets and the structure of the quotients, in particular for congruences induced by some kinds of idempotent operators, here called S-operators. The case of Boolean algebras and MV-algebras is studied more in detail. The third chapter introduces GBL-algebras and their dual, and shows how the interplay of an S-operator with a closure operator gives rise to a dual GBL-algebra. Other results about the representation of finite GBL-algebras and GBL*algebras (GBL-algebras with monoidal sum), part of two papers previously published, are summarized and put in relation with the other results of this work.
Parole chiave: Ordered algebraic structures, D-posets, MV-algebras, GBL-algebras
MIUR : MAT/01 LOGICA MATEMATICA
Data: 2016
Lingua: eng
Corso di dottorato: Informatica e matematica del calcolo
Ciclo di dottorato: 29
Università di conseguimento titolo: Università degli Studi dell'Insubria
Citazione: Marigo, F.Equivalence relations and operators on ordered algebraic structures with difference. (Doctoral Thesis, Università degli Studi dell'Insubria, 2016).

Full text:

File Descrizione DimensioniFormatoConsultabilità
PhD_Thesis_Marigofrancesco_completa.pdftesto completo tesi443,64 kBAdobe PDFVisualizza/apri

Questo documento è distribuito in accordo con Licenza Creative Commons
Creative Commons


Tutti i documenti archiviati in InsubriaSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by the AePIC team @ CILEA. Powered on DSpace Software.  Feedback