Abstract
Logic was established as a formal discipline by Aristotle (384-322 BCE), who gave it a fundamental place in philosophy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Nebert, L. (1879). Translated as Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought. InFrom Frege to Gdel, edited by Jean van Heijenoort. Harvard University Press, Cambridge (1967)
Birkhoff, G.: Lattice Theory. Providence, Rhode Island (1967)
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. PWN-Polish Scientific Publishers, Warszawa (1970)
Herbrand, J.: Recherches sur Ia Theorie de Ia Demonstration, Travaux de Ia Societe des Sciences et des Letf1es de Varsovie, III, 33, 33–160 (1930). Logical Writings. Harvard University Press and Reidel (1971)
Łukasiewicz, J.: O Logice trojwartociowej, Ruch filozoficzny 5, 170–171 (1920) (in Polish). English translation: On Three-Valued Logic. In: Borkowski, L. (ed.) Selected Works by Jan Łukasiewicz, North Holland, Amsterdam, pp. 87–88 (1970)
Hay, L.S.: Axiomatization of the infinite-valued predicate calculus. J. Symbol. Logic 28, 77–86 (1963)
Łukasiewicz, J., Tarski, A.: Untersuchungen über den Aussagenkalkül, Comp. Rend. Soc. Sci. et Lettres Varsovie Cl. III 23, 30–50 (1930)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Ono, H.: Substructural Logics and Residuated Lattices an Introduction. In: Hendricks, F.V, Malinowski, J. (eds.) Trends in Logic, 50 Years of Studia Logica, Trends in Logic 20, pp. 177–212 (2003)
Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467–490 (1958)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Di Nola, A., Grigolia, R., Turunen, E. (2016). Classical Sentential Calculus and Łukasiewicz Sentential Calculus. In: Fuzzy Logic of Quasi-Truth: An Algebraic Treatment. Studies in Fuzziness and Soft Computing, vol 338. Springer, Cham. https://doi.org/10.1007/978-3-319-30406-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-30406-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30404-5
Online ISBN: 978-3-319-30406-9
eBook Packages: EngineeringEngineering (R0)