Łukasiewicz–Moisil algebra
id:
ukasiewicz-moisil-algebra-234-14583894
title:
Łukasiewicz–Moisil algebra
text:
Łukasiewicz–Moisil algebras were introduced in the 1940s by Grigore Moisil 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,
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/%C5%81ukasiewicz%E2%80%93Moisil_algebra
date created:
date modified:
2024-04-14T07:02:32Z
main entity:
{"identifier":"Q18385859","url":"https://www.wikidata.org/entity/Q18385859"}
image:
fields total:
13
integrity:
13