Łukasiewicz–Moisil algebras (LMn algebras) were introduced in the 1940s by Grigore Moisil (initially under the name of Łukasiewicz algebras) in the hope...

semantics for the n-valued Łukasiewicz logic by means of his Łukasiewicz–Moisil (LM) algebra (which Moisil called Łukasiewicz algebras) turned out to be an...

Iuliu Moisil (1859–1947), schoolteacher and writer, uncle of Constantin Grigore Moisil National College of Computer Science (Brașov) Łukasiewicz–Moisil algebra...

was mainly in the fields of mathematical logic (Łukasiewicz–Moisil algebra), algebraic logic, MV-algebra, and differential equations. He is viewed as the...

S5-algebra is a synonym for monadic Boolean algebra. Clopen set Cylindric algebra Interior algebra Kuratowski closure axioms Łukasiewicz–Moisil algebra Modal...

axioms. MV-algebras are the algebraic semantics of Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz. MV-algebras coincide...

innovative works by Łukasiewicz, which applied methods from modern logic to the formalization of Aristotle's syllogistic. The Łukasiewicz approach was reinvigorated...

topos forms a Heyting algebra. Łukasiewicz–Moisil algebras (LMn) are also Heyting algebras for any n (but they are not MV-algebras for n ≥ 5). The ordering...

algebra Kleene algebra (with involution) Łukasiewicz–Moisil algebra Boolean algebra (structure) Boolean ring Complete Boolean algebra Orthocomplemented...

Examples of Kleene algebras in the sense defined above include: lattice-ordered groups, Post algebras and Łukasiewicz algebras. Boolean algebras also meet this...