• ŁukasiewiczMoisil algebras (LMn algebras) were introduced in the 1940s by Grigore Moisil (initially under the name of Łukasiewicz algebras) in the hope...
    9 KB (1,285 words) - 07:02, 14 April 2024
  • Thumbnail for Grigore Moisil
    was mainly in the fields of mathematical logic (ŁukasiewiczMoisil algebra), algebraic logic, MV-algebra, and differential equations. He is viewed as the...
    13 KB (1,372 words) - 20:08, 3 April 2023
  • Iuliu Moisil (1859–1947), schoolteacher and writer, uncle of Constantin Grigore Moisil National College of Computer Science (Brașov) ŁukasiewiczMoisil algebra...
    428 bytes (87 words) - 23:16, 18 May 2016
  • semantics for the n-valued Łukasiewicz logic by means of his ŁukasiewiczMoisil (LM) algebra (which Moisil called Łukasiewicz algebras) turned out to be an...
    16 KB (2,415 words) - 03:28, 3 May 2024
  • axioms. MV-algebras are the algebraic semantics of Łukasiewicz logic; the letters MV refer to the many-valued logic of Łukasiewicz. MV-algebras coincide...
    13 KB (1,653 words) - 03:49, 28 June 2024
  • Thumbnail for Jan Łukasiewicz
    innovative works by Łukasiewicz, which applied methods from modern logic to the formalization of Aristotle's syllogistic. The Łukasiewicz approach was reinvigorated...
    23 KB (2,338 words) - 13:50, 23 May 2024
  • S5-algebra is a synonym for monadic Boolean algebra. Clopen set Cylindric algebra Interior algebra Kuratowski closure axioms ŁukasiewiczMoisil algebra Modal...
    4 KB (435 words) - 03:34, 25 July 2023
  • topos forms a Heyting algebra. ŁukasiewiczMoisil algebras (LMn) are also Heyting algebras for any n (but they are not MV-algebras for n ≥ 5). The ordering...
    44 KB (6,243 words) - 20:32, 22 July 2024
  • algebra Kleene algebra (with involution) ŁukasiewiczMoisil algebra Boolean algebra (structure) Boolean ring Complete Boolean algebra Orthocomplemented...
    5 KB (396 words) - 12:14, 30 October 2023
  • Examples of Kleene algebras in the sense defined above include: lattice-ordered groups, Post algebras and Łukasiewicz algebras. Boolean algebras also meet this...
    10 KB (1,118 words) - 02:29, 4 May 2024
  • simulated mind diseases, and criminal anthropology. Grigore Moisil: discovered Łukasiewicz-Moisil algebras, and he was elected a Member of the Romanian Academy...
    13 KB (1,405 words) - 14:38, 11 March 2022
  • published by Jan Łukasiewicz and Clarence Irving Lewis. These were then re-formulated by Grigore Constantin Moisil in an axiomatic algebraic form, and also...
    26 KB (2,419 words) - 18:20, 14 July 2024
  • Thumbnail for Ronald Brown (mathematician)
    (in reference to Heyting-algebra higher-dimensional-algebra hyperalgebras Łukasiewicz-Moisil-algebras meta-logics MV-algebras on 2007-07-11) Cited by John...
    11 KB (1,189 words) - 11:20, 18 July 2024
  • Thumbnail for Mathematical and theoretical biology
    "Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and ŁukasiewiczMoisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks"...
    41 KB (4,307 words) - 16:11, 1 June 2024
  • S2CID 122872424. Georgescu, G. (2006). "N-valued Logics and Łukasiewicz-Moisil Algebras". Axiomathes. 16 (1–2): 123–136. doi:10.1007/s10516-005-4145-6...
    81 KB (9,956 words) - 14:12, 11 July 2024
  • Thumbnail for Walter M. Elsasser
    "Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and ŁukasiewiczMoisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks"...
    15 KB (1,565 words) - 21:59, 9 July 2024