Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-15T06:03:33.604Z Has data issue: false hasContentIssue false

WHAT THE ŁUKASIEWICZ AXIOMS MEAN

Published online by Cambridge University Press:  30 October 2020

DANIELE MUNDICI*
Affiliation:
DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE “ULISSE DINI” UNIVERSITY OF FLORENCE VIALE MORGAGNI 67/A, I-50134FLORENCE, ITALYE-mail: daniele.mundici@unifi.it

Abstract

Let $\to $ be a continuous $\protect \operatorname {\mathrm {[0,1]}}$ -valued function defined on the unit square $\protect \operatorname {\mathrm {[0,1]}}^2$ , having the following properties: (i) $x\to (y\to z)= y\to (x\to z)$ and (ii) $x\to y=1 $ iff $x\leq y$ . Let $\neg x=x\to 0$ . Then the algebra $W=(\protect \operatorname {\mathrm {[0,1]}},1,\neg ,\to )$ satisfies the time-honored Łukasiewicz axioms of his infinite-valued calculus. Let $x\to _{\text {\tiny \L }}y=\min (1,1-x+y)$ and $\neg _{\text {\tiny \L }}x=x\to _{\text {\tiny \L }} 0 =1-x.$ Then there is precisely one isomorphism $\phi $ of W onto the standard Wajsberg algebra $W_{\text {\tiny \L }}= (\protect \operatorname {\mathrm {[0,1]}},1,\neg _{\text {\tiny \L }},\to _{\text {\tiny \L }})$ . Thus $x\to y= \phi ^{-1}(\min (1,1-\phi (x)+\phi (y)))$ .

MSC classification

Type
Articles
Copyright
© The Association for Symbolic Logic 2020

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Baczyński, M. and Balasubramaniam, J., Fuzzy Implications , Springer, Berlin, 2008.Google Scholar
Borkowski, L. (ed.), Jan Łukasiewicz, Selected Works , Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam and Polish Scientific Publishers, Warsaw, 1970.Google Scholar
Cignoli, R., D’Ottaviano, I. M. L., and Mundici, D., Algebraic Foundations of Many-Valued Reasoning, vol. 7 , Trends in Logic, Kluwer, Dordrecht, 2000.CrossRefGoogle Scholar
Klement, E. P., Mesiar, R., and Pap, E., Triangular Norms , Kluwer, Dordrecht, 2000.CrossRefGoogle Scholar
Mundici, D., Advanced Łukasiewicz Calculus and MV-Algebras , Trends in Logic, vol. 35, Springer, Berlin, 2011.CrossRefGoogle Scholar