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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. Studies in Logic, vol. 1 & 2, 37 & 38. College Publications (2011)
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)
Hájek, P.: Metamathematics of fuzzy logic. Trends in Logic—Studia Logica Library, vol. 4. Kluwer Academic Publishers, Dordrecht (1998)
Łukasiewicz, J., Tarski, A.: Untersuchngen über den Aussagenkalkül. C. R. Soc. Sc. Varsovie 23, 30–50 (1930)
Mundici, D.: Advanced Łukasiewicz Calculus and MV-algebras. Trends in Logic—Studia Logica Library, vol. 35. Springer, New York (2011)
Smith, N.J.J.: Vagueness and Degrees of Truth. OUP, Oxford (2008)
Tarski, A.: Logic, semantics, metamathematics. Papers from 1923 to 1938. Oxford at the Clarendon Press (1956); Translated by Woodger, J.H.
Williamson, T.: Vagueness. The Problems of Philosophy Series. Taylor & Francis Group (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marra, V. (2013). Łukasiewicz Logic: An Introduction. In: Bezhanishvili, G., Löbner, S., Marra, V., Richter, F. (eds) Logic, Language, and Computation. TbiLLC 2011. Lecture Notes in Computer Science, vol 7758. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36976-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-36976-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36975-9
Online ISBN: 978-3-642-36976-6
eBook Packages: Computer ScienceComputer Science (R0)