The automorphism group of falsum-free product logic
| dc.creator | Panti, Giovanni | |
| dc.date | 2006-10-26 | |
| dc.date | 2007-06-22 | |
| dc.date.accessioned | 2026-07-07T08:11:42Z | |
| dc.date.available | 2026-07-07T08:11:42Z | |
| dc.description | 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. | |
| dc.description | 14 pages, 6 figures. Theorem 4.3 improved. To appear in Springer Lecture Notes in Computer Science | |
| dc.identifier | https://arxiv.org/abs/math/0610781 | |
| dc.identifier | http://arxiv.org/abs/math/0610781 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/132203 | |
| dc.subject | Logic | |
| dc.subject | 06D35; 37B05 | |
| dc.title | The automorphism group of falsum-free product logic | |
| dc.type | text |