ŁUkasiewicz–Moisil Algebra

(Algebraic Logic)


Algebraic Logic
Link to Dbpedia

What is Łukasiewicz–Moisil algebra?

Łukasiewicz–Moisil algebras (LMn algebras) were introduced in the 1940s by Grigore Moisil (initially under the name of Łukasiewicz algebras) in the hope of giving 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 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 and called MVn-algebras. MVn-algebras are a subclass of LMn-algebras, and the inclusion is strict for n ≥ 5. In 1982 published some additional constraints that added to LMn-algebras produce proper models for n-valued Łukasiewicz logic; Cignoli called his discovery proper Łukasiewicz algebras. Moisil however published in 1964 a logic to match his algebra (in the general n ≥ 5 case), now called Moisil logic. After coming in contact with Zadeh's fuzzy logic, in 1968 Moisil also introduced an infinitely-many-valued logic variant and its corresponding LMθ algebras. Although the Łukasiewicz implication cannot be defined in a LMn algebra for n ≥ 5, the Heyting implication can be, i.e. LMn algebras are Heyting algebras; as a result, Moisil logics can also be developed (from a purely logical standpoint) in the framework of Brower’s intuitionistic logic.

Technology Types

algebraic logicockham algebra


LM algebraLM-algebraLMn algebraLMθ algebraLukasiewicz algebraŁukasiewicz algebraLukasiewicz-Moisil algebraŁukasiewicz-Moisil algebraŁukasiewicz-Moisil algebrasLukasiewicz–Moisil algebraMoisil logicProper Lukasiewicz algebraProper Łukasiewicz algebra

Tech Info

Source: [object Object]
 — Date merged: 11/6/2021, 1:32:44 PM
 — Date scraped: 5/20/2021, 5:56:08 PM