You are here
Home ›Jan \L{}ukasiewicz
Primary tabs
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 middle and the axiomatizations of much classical propositional logic. 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 algebras 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) circuits. Łukasiewicz-Moisil () logic algebras were defined axiomatically after 1969 as n-valued logic algebra representations and extensions of the Łukasiewcz (3-valued) logics; then, the universal properties of categories of -logic algebras were also investigated and reported in a series of recent publications. Recently, several modifications of -logic algebras are under consideration as valid candidates for representations of quantum logics, as well as for modeling non-linear biodynamics in genetic ‘nets’ or networks, as well as in single-cell organisms, or in tumor growth.
Mathematics Subject Classification
03G12 Quantum logic03G30 Categorical logic, topoi
03G10 Lattices and related structures
92B05 General biology and biomathematics
01A60 20th century
03G20 Łukasiewicz and Post algebras
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Linear Algebra Combination Problem! by unlord
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


