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.

Equivalence relations and operators on ordered algebraic structures with difference / Marigo, Francesco. - (2016).

Equivalence relations and operators on ordered algebraic structures with difference.

Marigo, Francesco
2016-01-01

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.
2016
Ordered algebraic structures, D-posets, MV-algebras, GBL-algebras
Equivalence relations and operators on ordered algebraic structures with difference / Marigo, Francesco. - (2016).
File in questo prodotto:
File Dimensione Formato  
PhD_Thesis_Marigofrancesco_completa.pdf

accesso aperto

Descrizione: testo completo tesi
Tipologia: Tesi di dottorato
Licenza: Non specificato
Dimensione 443.64 kB
Formato Adobe PDF
443.64 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2090543
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact