We 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. [10.1007/s11225-012-9371-5]
The variety generated by all the ordinal sums of perfect MV-Chains
M. BianchiPrimo
2013
Abstract
We 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.File | Dimensione | Formato | |
---|---|---|---|
art%3A10.1007%2Fs11225-012-9371-5.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
263.3 kB
Formato
Adobe PDF
|
263.3 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.