Mathematics – Logic
Scientific paper
2006-10-26
Mathematics
Logic
14 pages, 6 figures. Theorem 4.3 improved. To appear in Springer Lecture Notes in Computer Science
Scientific paper
A few things are known, and many are unknown, on the automorphism group of the free MV-algebra over n-1 generators. In this paper we show that this group appears as the stabilizer of 1 in the larger group of all automorphisms of the free cancellative hoop over n generators. Both groups have a dual action on the same space, namely the (n-1)-dimensional cube. The larger group has a richer dynamics, at the expense of loosing the two key features of the McNaughton homeomorphisms: preservation of denominators of rational points, and preservation of the Lebesgue measure. We present here some basic results, some examples, and some problems.
No associations
LandOfFree
The automorphism group of falsum-free product logic 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 automorphism group of falsum-free product logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The automorphism group of falsum-free product logic will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-114578