Giovanni Ugolini

Boolean Threshold Representations of Finite and Rational Łukasiewicz Truth Values: Rigidity, Canonical Refinements, and Rational Direct Limits

Building on known Boolean tuple representations of finite-valued MV-algebras, we study a lower-threshold profile realisation of the finite Łukasiewicz chain L_{n+1} = {0, 1/n, …, 1}. The value k/n is encoded by the monotone Boolean string with k initial ones, whose i-th coordinat...