Jan Łukasiewicz


Jan Łukasiewicz (1878 - 1956) Polish mathematician and logician mainly concerned with logic in mathematics probably best known for the three-valued logics, the Polish notation, the law of excluded middleMathworldPlanetmathPlanetmath and the axiomatizations of much classical propositional logicPlanetmathPlanetmath. He studied at the University of Lwów, earning doctorates in mathematics and philosophy in 1902. In 1919 he was Minister of Education in Poland. After WWII, he was exiled to Belgium. Arguably, the 3-valued logics named after him was the first published report of a non-Boolean, or non-Chrysippean logic (with only two logic values, ‘true’ or ‘false’, in the Chrysippean case). Subsequently, Łukasiewicz logic algebrasPlanetmathPlanetmath were constructed by Grigore Moisil in 1940-1945 to define ‘nuances’ in logics, or many-valued logics, as well as 3-state control logic (electronic) circuitsMathworldPlanetmath. Łukasiewicz-Moisil (LMn) logic algebras were defined axiomatically after 1969 as n-valued logic algebra representations and extensionsPlanetmathPlanetmathPlanetmath of the Łukasiewcz (3-valued) logics; then, the universal propertiesMathworldPlanetmath of categoriesMathworldPlanetmath of LMn -logic algebras (http://planetmath.org/AlgebraicCategoryOfLMnLogicAlgebras) were also investigated and reported in a series of recent publications. Recently, several modifications of LMn-logic algebras are under consideration as valid candidates for representations of quantum logicsPlanetmathPlanetmath, as well as for modeling non-linear biodynamics in genetic ‘nets’ or networks, as well as in single-cell organisms, or in tumor growth.

Title Jan Łukasiewicz
Canonical name JanLukasiewicz
Date of creation 2013-03-22 16:10:12
Last modified on 2013-03-22 16:10:12
Owner Mravinci (12996)
Last modified by Mravinci (12996)
Numerical id 17
Author Mravinci (12996)
Entry type Definition
Classification msc 03G12
Classification msc 03G30
Classification msc 03G10
Classification msc 92B05
Classification msc 01A60
Classification msc 03G20
Synonym Jan Ł ukasiewicz
Synonym Jan Łukasiewicz
Synonym Jan Lukasiewicz
Related topic GeneticNetsOrNetworks
Related topic AlgebraicCategoryOfLMnLogicAlgebras
Related topic AnalyticsAndOntologyFormalLogics
Related topic FormalLogicsAndMetaMathematics