activity
19952023
most citedMultiple-valued Logics

19 citations · 26 across the 14 of their papers we have counts for

collaborators
Showing math.LOShow all

7 papers · 1 filter

math.LO2012

Measures induced by units

Giovanni Panti, Davide Ravotti

The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent alg…

math.LO2006

The automorphism group of falsum-free product logic

Giovanni Panti

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…

math.LO2005

Invariant measures in free MV-algebras

Giovanni Panti

MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals of lattice-ordered abelian groups in which a strong order uni…

math.LO2004

Dynamical properties of logical substitutions

Giovanni Panti

This is an expository paper on the dynamical properties of substitutions in propositional many-valued logics. We identify substitutions with endomorphisms of free algebras, and we…

math.LO2004

Bernoulli automorphisms of finitely generated free MV-algebras

Giovanni Panti

MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong ord…

math.LO2003★ 1 cited

Generic substitutions

Giovanni Panti

Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space ca…