TbiLLC 2011: Logic, Language, and Computation pp 12-16 | Cite as
Łukasiewicz Logic: An Introduction
Conference paper
Abstract
This is a summary of the contents of a tutorial in logic offered at the conference. The tutorial provided a very gentle introduction to the elementary aspects of Łukasiewicz (infinite-valued propositional) logic.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic foundations of many-valued reasoning. Trends in Logic—Studia Logica Library, vol. 7. Kluwer Academic Publishers, Dordrecht (2000)MATHCrossRefGoogle Scholar
- 2.Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. Studies in Logic, vol. 1 & 2, 37 & 38. College Publications (2011)Google Scholar
- 3.Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier B.V., Amsterdam (2007)MATHGoogle Scholar
- 4.Hájek, P.: Metamathematics of fuzzy logic. Trends in Logic—Studia Logica Library, vol. 4. Kluwer Academic Publishers, Dordrecht (1998)MATHCrossRefGoogle Scholar
- 5.Łukasiewicz, J., Tarski, A.: Untersuchngen über den Aussagenkalkül. C. R. Soc. Sc. Varsovie 23, 30–50 (1930)MATHGoogle Scholar
- 6.Mundici, D.: Advanced Łukasiewicz Calculus and MV-algebras. Trends in Logic—Studia Logica Library, vol. 35. Springer, New York (2011)MATHCrossRefGoogle Scholar
- 7.Smith, N.J.J.: Vagueness and Degrees of Truth. OUP, Oxford (2008)CrossRefGoogle Scholar
- 8.Tarski, A.: Logic, semantics, metamathematics. Papers from 1923 to 1938. Oxford at the Clarendon Press (1956); Translated by Woodger, J.H.Google Scholar
- 9.Williamson, T.: Vagueness. The Problems of Philosophy Series. Taylor & Francis Group (1996)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2013