On the expressive power of Łukasiewicz square operator

• Published in: Journal of logic and computation 2022-06, Vol.32 (4), p.767-807
• Main Authors: Coniglio, Marcelo E, Esteva, Francesc, Flaminio, Tommaso, Godo, Lluís
• Format: Article
• Language: English
• ISSN: 0955-792X; 1465-363X
• DOI: 10.1093/logcom/exab064

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: $\ast x=x\odot x$, where $\odot $ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form $n+1$ where $n$ belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations.