Università degli Studi dell'Insubria Insubria Space
 

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

Please use this identifier to cite or link to this item: http://hdl.handle.net/10277/741

Authors: Marigo, Francesco
Internal Tutor: GERLA, BRUNELLA
Title: 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.
Keywords: Ordered algebraic structures, D-posets, MV-algebras, GBL-algebras
Subject MIUR : MAT/01 LOGICA MATEMATICA
Issue Date: 2016
Language: eng
Doctoral course: Informatica e matematica del calcolo
Academic cycle: 29
Publisher: Università degli Studi dell'Insubria
Citation: Marigo, F.Equivalence relations and operators on ordered algebraic structures with difference. (Doctoral Thesis, Università degli Studi dell'Insubria, 2016).

Files in This Item:

File Description SizeFormatVisibility
PhD_Thesis_Marigofrancesco_completa.pdftesto completo tesi443,64 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License
Creative Commons


Items in InsubriaSPACE are protected by copyright, with all rights reserved, unless otherwise indicated.


Share this record
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