|
Łukasiewicz–Moisil Algebra
Łukasiewicz–Moisil algebras (LM''n'' algebras) were introduced in the 1940s by Grigore Moisil (initially under the name of Łukasiewicz algebras) in the hope of giving Algebraic semantics (mathematical logic), algebraic semantics for the ''n''-valued Łukasiewicz logic. However, in 1956 Alan Rose discovered that for ''n'' ≥ 5, the Łukasiewicz–Moisil algebra does not model (mathematical logic), model the Łukasiewicz logic. A faithful model for the ℵ0-valued (infinitely-many-valued) Łukasiewicz–Tarski logic was provided by C. C. Chang's MV-algebra, introduced in 1958. For the axiomatically more complicated (finite) ''n''-valued Łukasiewicz logics, suitable algebras were published in 1977 by Revaz Grigolia and called MV-algebra#MVn-algebras, MV''n''-algebras. MV''n''-algebras are a subclass of LM''n''-algebras, and the inclusion is strict for ''n'' ≥ 5.Iorgulescu, A.: Connections between MV''n''-algebras and ''n''-valued Łukasiewicz-Moisil algebras—I. Discrete Math. 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grigore Moisil
Grigore Constantin Moisil (; 10 January 1906 – 21 May 1973) was a Romanian mathematician, computer pioneer, and list of members of the Romanian Academy, titular member of the Romanian Academy. His research was mainly in the fields of mathematical logic (Łukasiewicz–Moisil algebra), algebraic logic, MV-algebra, and differential equations. He is viewed as the father of computer science in Romania. Moisil was also a member of the Academy of Sciences of Bologna and of the International Institute of Philosophy. In 1996, the IEEE Computer Society awarded him posthumously the ''Computer Pioneer'' Award. Biography Grigore Moisil was born in 1906 in Tulcea into an intellectual family. His great-grandfather, Grigore Moisil (1814–1891), a clergyman, was one of the founders of the George Coșbuc National College (Năsăud), first Romanian high school in Năsăud. His father, Constantin Moisil (1876–1958), was a history professor, archaeology, archaeologist and numismatics, numisma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |