Algebrele Łukasiewicz–Moisil (algebrele LMn ) au fost introduse în anii 1940 de către românul Grigore Moisil (inițial sub numele de algebre ŁukasiewiczAndrei Popescu, Łukasiewicz-Moisil Relation Algebras, Studia Logica, Vol. 81, No. 2 (Nov., 2005), pp. 167-189). Totuși, în 1956, Alan Rose a descoperit că pentru n ≥ 5, algebra Łukasiewicz–Moisil nu modela logica Łukasiewicz. Iorgulescu, A.: Connections between MVn-algebras and n-valued Łukasiewicz-Moisil algebras—I. Discrete Math. 181, 155–177 (1998)
În 1982, Roberto Cignoli a publicat unele constrângeri suplimentare, care adăugate la algebrele LMn produc modele corespunzătoare pentru logica Łukasiewicz ; Cignoli a numit descoperirea lui algebrele Łukasiewicz adecvate.R. Cignoli, Proper n-Valued Łukasiewicz Algebras as S-Algebras of Łukasiewicz n-Valued Propositional Calculi, Studia Logica, 41, 1982, 3–16,
Moisil, însă, a publicat în 1964 o logică care să se potrivească algebrei lui (în cazul general n ≥ 5), numită acum logica Moisil. După venirea în contact cu logica fuzzy a lui Zadeh , în 1968 Moisil a introdus și el o nouă variantă de logică și algebrele LMθ corespunzătoare.Georgescu, G., Iourgulescu, A., Rudeanu, S.: "Grigore C. Moisil (1906–1973) and his School in Algebraic Logic ." Deși implicațiile Łukasiewicz nu pot fi definite într-o algebră LMn pentru n ≥ 5, implicația Heyting poate fi, adică algebrele LMn sunt algebre Heyting; ca urmare, logica Moisil poate fi, de asemenea, dezvoltată (din punct de veder pur logic) în cadrul logicii intuiționiste a lui Brower
Definiție O LMn algebră este o algebră De Morgan (o noțiune, de asemenea, introdusă de către Moisil) cu operații unare suplimentare "modale" n-1, adică o algebră de semnătură unde J = { 1, 2, ... n-1 }.Cignoli, R., “The algebras of Lukasiewicz many-valued logic - A historical overview,” in S. Aguzzoli et al.
Referințe
Categorie:Algebră abstractă