Mathematics – Logic
Scientific paper
2011-03-30
Mathematics
Logic
This is a revised version of the previous paper: the modifications concern essentially the presentation. The scientific conten
Scientific paper
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.
No associations
LandOfFree
The variety generated by all the ordinal sums of perfect MV-chains does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The variety generated by all the ordinal sums of perfect MV-chains, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The variety generated by all the ordinal sums of perfect MV-chains will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-568712