Abstract
Boolean logic deals with {0, 1}-observables and yes–no events, as many-valued logic does for continuous ones. Since every measurement has an error, continuity ensures that small measurement errors on elementary observables have small effects on compound observables. Continuity is irrelevant for {0, 1}-observables. Functional completeness no longer holds when n-ary connectives are understood as [0, 1]-valued maps defined on [0, 1]n. So one must envisage suitable selection criteria for [0, 1]-connectives. Łukasiewicz implication has a well known characterization as the only continuous connective \({\Rightarrow}\) satisfying the following conditions: (i) \({x\Rightarrow(y\Rightarrow z)= y\Rightarrow(x\Rightarrow z)}\) and (ii) \({x\Rightarrow y=1\, \, {\rm iff} x\leq y}\) . Then syntactic consequence can be defined purely algorithmically using the Łukasiewicz axioms and Modus Ponens. As discussed in this paper, to recover a strongly complete semantics one may use differential valuations.
Article PDF
Similar content being viewed by others
References
Baczyński M.: Residual implications revisited. Notes on the Smets–Magrez Theorem. Fuzzy Sets Syst. 145, 267–277 (2004)
Baczyński M., Jayaram B.: (S,N)- and R-implications: a state-of-the-art survey. Fuzzy sets Syst. 159, 1836–1859 (2008)
Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of many-valued Reasoning. Trends in Logic, vol. 7. Kluwer, Dordrecht (2000)
Fodor, J., Roubens, M.: Fuzzy Preference Modeling and Multicriteria Decision Support. Kluwer, Dordrecht (1994)
Łukasiewicz, J.: On the concept of magnitude. In: Borkowski, L., (ed.) J.Łukasiewicz, Selected Works, pp. 64–83. North-Holland, Amsterdam (1970). English translation of the expanded article “O pojȩciu wielkości” (Polish) published in “Przegla̧d Filozoficzny”, vol. 19 (1916)
Łukasiewicz, J., Tarski, A.: Untersuchungen über den Aussagenkalkül, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie Classe III, pp. 30–50, vol. 23 (1930). English translation: Investigations into the Sentential Calculus Chapter IV in: A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, (1956). Reprinted: Hackett, Indianapolis, (1983)
Mundici, D.: Satisfiability in many-valued sentential logic is NP-complete. Theoret. Comput. Sci. 52, 145–153 (1987)
Mundici, D.: Advanced Łukasiewicz Calculus and MV-algebras. Trends in Logic, vol. 35. Springer, Berlin (2011)
Mundici, D.: The differential semantics of Łukasiewicz syntactic consequence. In: Montagna, F., et al. (eds.) Trends in Logic, Volume in honor Petr Hájek. Springer, Berlin (2013, to appear)
Smets, P., Magrez, P.: Implication in fuzzy logic. Int. J. Approx. Reason. 1, 327–347 (1987)
Tarski, A.: On the concept of logical consequence, chap. XVI. In: Tarski, A. (ed.) Logic, Semantics, Metamathematics. Clarendon Press, Oxford (1956). Reprinted: Hackett, Indianapolis (1983)
Trillas, E., Valverde, L.: On implication and indistinguishability in the setting of fuzzy logic. In: Kacprzyk, J., Yager, R.R. (eds.) Management Decision Support Systems using Fuzzy Sets and Possibility Theory, pp. 198–212. TV-Rhineland, Cologne (1985)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mundici, D. Universal Properties of Łukasiewicz Consequence. Log. Univers. 8, 17–24 (2014). https://doi.org/10.1007/s11787-013-0091-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-013-0091-z