IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishWe present the logic BL_Chang, an axiomatic extension of BL (see [23]) whose corresponding algebras form the smallest variety containing all the ordinal sums of perfect MV-chains. We will analyze this logic and the corresponding algebraic semantics in the propositional and in the first-order case. As we will see, moreover, the variety of BL_Chang-algebras will be strictly connected to the one generated by Chang’s MV-algebra (that is, the variety generated by all the perfect MV-algebras): we will also give some new results concerning these last structures and their logic.
The variety generated by all the ordinal sums of perfect MV-Chains / M. Bianchi. - In: STUDIA LOGICA. - ISSN 0039-3215. - 101:1(2013 Feb), pp. 11-29.
| Titolo: | The variety generated by all the ordinal sums of perfect MV-Chains |
| Autori: | BIANCHI, MATTEO (Primo) |
| Parole Chiave: | many-valued logics; BL-algebras; perfect MV-algebras; Łukasiewicz logic; basic logic; Wajsberg hoops |
| Settore Scientifico Disciplinare: | Settore MAT/01 - Logica Matematica Settore MAT/02 - Algebra Settore INF/01 - Informatica |
| Data di pubblicazione: | feb-2013 |
| Rivista: | |
| Tipologia: | Article (author) |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s11225-012-9371-5 |
| Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| art%3A10.1007%2Fs11225-012-9371-5.pdf | Publisher's version/PDF | Administrator Richiedi una copia |
http://hdl.handle.net/2434/216626
Copyright © 2021