pith. sign in

arxiv: 1103.5943 · v2 · pith:H65DGLCMnew · submitted 2011-03-30 · 🧮 math.LO

The variety generated by all the ordinal sums of perfect MV-chains

classification 🧮 math.LO
keywords logicvarietywillgeneratedperfectchangcorrespondingmv-chains
0
0 comments X
read the original abstract

We present the logic BL_Chang, an axiomatic extension of BL (see P. H\'ajek - Metamathematics of fuzzy logic - 1998, Kluwer) 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.