Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
algebraic category of LMn -logic algebras (Topic)

This is a topic entry on the algebraic category of Łukasiewicz–Moisil n-valued logic algebras that provides basic concepts and the background of the modern development in this area of many-valued logics.

Introduction

The category $\mathcal{LM}$ of Łukasiewicz-Moisil, $n$-valued logic algebras ($LM_n$), and $LM_n$–lattice morphisms, $\lambda_{LM_n}$, was introduced in 1970 in ref. [1] as an algebraic category tool for $n$-valued logic studies. The objects of $\mathcal{LM}$ are the non–commutative $LM_n$ lattices and the morphisms of $\mathcal{LM}$ are the $LM_n$-lattice morphisms as defined here in the section following a brief historical note.

History

Łukasiewicz logic algebras were constructed by Grigore Moisil in 1941 to define `nuances' in logics, or many-valued logics, as well as 3-state control logic (electronic) circuits. Łukasiewicz-Moisil ($LM_n$) logic algebras were defined axiomatically in 1970, in ref. [1], as n-valued logic algebra representations and extensions of the Łukasiewcz (3-valued) logics; then, the universal properties of categories of $LM_n$ -logic algebras were also investigated and reported in a series of recent publications ([2] and references cited therein). Recently, several modifications of $LM_n$-logic algebras are under consideration as valid candidates for representations of quantum logics, as well as for modeling non-linear biodynamics in genetic `nets' or networks ([3]), and in single-cell organisms, or in tumor growth. For a recent review on $n$-valued logic algebras, and major published results, the reader is referred to [2].

Definition of Łukasiewicz–Moisil (LM), n-valued logic algebras

Definition 0.1   (reported by G. Moisil in 1941, cited in refs. [1,2]).

A $n$–valued Łukasiewicz–Moisil algebra, ($LM_{n}$–algebra) is a structure of the form $(L,\vee,\wedge,N,(\phi _{i})_{i\in\{1,\ldots,n-1\}},0,1)$, subject to the following axioms:

  • (L1) $(L,\vee,\wedge,N,0,1)$ is a de Morgan algebra, that is, a bounded distributive lattice with a decreasing involution $N$ satisfying the de Morgan property $N({x\vee y})=Nx\wedge Ny$;
  • (L2) For each $i\in\{1,\ldots,n-1\}$, $\phi _{i}:L{\longrightarrow}L$ is a lattice endomorphism; % latex2html id marker 2198 $ \fnsymbol{footnote}$
  • (L3) For each $i\in\{1,\ldots,n-1\},x\in L$, $\phi _{i}(x)\vee N{\phi _{i}(x)}=1$ and $\phi _{i}(x)\wedge N{\phi _{i}(x)}=0$;
  • (L4) For each $i,j\in\{1,\ldots,n-1\}$, $\phi _{i}\circ\phi _{j}=\phi _{k}$ iff $(i+j)= k$;
  • (L5) For each $i,j\in\{1,\ldots,n-1\}$, $i\leqslant j$ implies $\phi _{i}\leqslant \phi _{j}$;
  • (L6) For each $i\in\{1,\ldots,n-1\}$ and $x\in L$, $\phi _{i}(N x)=N\phi _{n-i}(x)$.
  • (L7) Moisil's `determination principle':

    $\displaystyle \left[\forall i\in\{1,\ldots,n-1\},\;\phi _{i}(x)=\phi _{i}(y)\right] \; implies \; [x = y] \;.$
Example 0.1   Let $L_n=\{0,1/(n-1),\ldots,(n-2)/(n-1),1\}$. This set can be naturally endowed with an LM$_n$ –algebra structure as follows:
  • the bounded lattice operations are those induced by the usual order on rational numbers;
  • for each $j\in\{0,\ldots,n-1\}$, $N(j/(n-1))=(n-j)/(n-1)$;
  • for each $i\in\{1,\ldots,n-1\}$ and $j\in\{0,\ldots,n-1\}$, $\phi _{i}(j/(n-1))=0$ if $j<i$ and $=1$ otherwise.
Note that, for $n=2$, $L_n=\{0,1\}$, and there is only one Chrysippian endomorphism of $L_n$ is $\phi _1$, which is necessarily restricted by the determination principle to a bijection, thus making $L_n$ a Boolean algebra (if we were also to disregard the redundant bijection $\phi _1$). Hence, the `overloaded' notation $L_2$, which is used for both the classical Boolean algebra and the two–element LM$_2$–algebra, remains consistent.
Example 0.2   Consider a Boolean algebra $(B,\v ,\wedge ,{}^-,0,1)$. Let $T(B)=\{(x_1,\ldots,x_n)\in B^{n-1}\mid x_1\leqslant \ldots\leqslant x_{n-1}\}$. On the set $T(B)$, we define an LM$_n$-algebra structure as follows:
  • the lattice operations, as well as 0 and $1$, are defined component–wise from $L_{2}$;
  • for each $(x_1,\ldots,x_{n-1})\in T(B)$ and $i\in\{1,\ldots,n-1\}$ one has:
    $N(x_1,\ldots x_{n-1})=(\overline {x_{n-1}},\ldots,\overline {x_1})$ and $\phi _{i}(x_1,\ldots,x_n)=(x_i,\ldots,x_i) .$

Bibliography

1
Georgescu, G. and C. Vraciu. 1970, On the characterization of centered Łukasiewicz algebras., J. Algebra, 16: 486-495.
2
Georgescu, G. 2006, N-valued Logics and Łukasiewicz-Moisil Algebras, Axiomathes, 16 (1-2): 123-136.
3
Baianu, I.C.: 1977, A Logical Model of Genetic Activities in Łukasiewicz Algebras: The Non-linear Theory. Bulletin of Mathematical Biology, 39: 249-258.
4
Georgescu, G. and D. Popescu. 1968, On Algebraic Categories, Revue Roumaine de Mathématiques Pures et Appliquées, 13: 337-342.


Footnotes

... endomorphism; % latex2html id marker 2198 $ \fnsymbol{footnote}$
The $\phi_{i}$'s are called the Chrysippian endomorphisms of $L$.


"algebraic category of LMn -logic algebras" is owned by bci1.

View style:

See Also: categorical algebra, differential propositional calculus

Other names:  \Lukasiewicz-Moisil n-valued logic algebras, N-valued logic algebras, many-valued logic
Also defines:  LMn -logic algebra, $LM_n$-logic algebra, many-valued logic
Keywords:  algebraic category of LMn -logic algebras, genetic nets, Jan \L{}ukasiewicz, topic on algebra classification, axioms of metacategories and supercategories, non-Abelian theory, non-Abelian structures, non-commutative dynamic modeling diagrams, generalized toposes with many-valued logic subobject classifiers, quantum logics toposes, topic entry on foundations of mathematics, axiomatic theories and categorical foundations of mathematics-II, axiomatics and categorical foundations of mathematical physics, categorical algebra, topic on algebra classification, topic entry on the algebraic foundations of mathematics, Jordan-Banach and Jordan-Lie algebras, ETAS interpretation, examples of abelian categories, genetic nets, category theory

Cross-references: operations, quantum logics, representations, section, morphisms, objects, category, algebraic category
There are 14 references to this object.

This is version 4 of algebraic category of LMn -logic algebras, born on 2009-01-31, modified 2009-05-16.
Object id is 460, canonical name is AlgebraicCategoryOfLMnLogicAlgebras.
Accessed 1914 times total.

Classification:
Physics Classification: 00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
 03.65.Fd (Algebraic methods )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "