generalized toposes with many-valued logic subobject classifiers
\xyoptioncurve
1 Generalized toposes
1.1 Introduction
Generalized topoi (toposes) with many-valued algebraic logic subobject classifiers
are specified by the associated categories of algebraic logics previously defined as , that is, non-commutative lattices with logical values, where can also be chosen to be any cardinal, including infinity
, etc.
1.2 Algebraic category of logic algebras
Ł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 () 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 -logic algebras were also investigated and reported in a series of recent publications ([2] and references cited therein). Recently, several modifications of -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 -valued logic algebras, and major published results, the reader is referred to [2].
The category of Łukasiewicz-Moisil, -valued logic algebras (), and –lattice morphisms
, , was introduced in 1970 in ref. [1] as an algebraic category
tool for -valued logic studies. The objects of are the non–commutative
lattices and the morphisms of are the -lattice morphisms as defined next.
Definition 1.1.
A –valued Łukasiewicz–Moisil algebra, (–algebra) is a structure
of the form
, subject to the following axioms:
-
•
(L1) is a de Morgan algebra, that is, a bounded distributive lattice
with a decreasing involution
satisfying the de Morgan property ;
-
•
(L2) For each , is a lattice endomorphism
;$*$$*$The ’s are called the Chrysippian endomorphisms
of .
-
•
(L3) For each , and ;
-
•
(L4) For each , iff ;
-
•
(L5) For each , implies ;
-
•
(L6) For each and , .
- •
Example 1.1.
Let . This set can be naturally endowed with an –algebra structure as follows:
-
•
the bounded lattice
operations
are those induced by the usual order on rational numbers;
-
•
for each , ;
-
•
for each and , if and otherwise.
Note that, for , , and there is only one Chrysippian endomorphism of is , which
is necessarily restricted by the determination principle to a bijection, thus making a Boolean algebra (if
we were also to disregard the redundant bijection ). Hence, the ‘overloaded’ notation , which is
used for both the classical Boolean algebra and the two–element –algebra, remains consistent
.
Example 1.2.
Consider a Boolean algebra .
Let . On the set , we define an -algebra structure as follows:
-
•
the lattice operations, as well as and , are defined component
–wise from ;
-
•
for each and one has:
and
1.3 Generalized logic spaces defined by algebraic logics
-
•
Topological semigroup spaces of topological automata
-
•
Topological groupoid
spaces of reset automata modules
1.4 Axioms defining a generalized topos
-
•
Consider a subobject logic classifier defined as an LM-algebraic logic in the category L of LM-logic algebras, together with logic-valued functors
, where is the class of N logic values, with needing not be finite.
-
•
A triple defines a generalized topos, , if the above axioms defining are satisfied, and if the functor is an univalued functor in the sense of Mitchell.
More to come…
1.5 Applications of generalized topoi:
-
•
Modern quantum logic (MQL)
-
•
Generalized quantum automata
-
•
Mathematical models of N-state genetic networks [7]
-
•
Mathematical models of parallel computing networks
References
- 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 Baianu, I.C.: 2004a. Łukasiewicz-Topos Models of Neural Networks, Cell Genome and Interactome Nonlinear Dynamic Models (2004). Eprint. Cogprints–Sussex Univ.
- 5 Baianu, I.C.: 2004b Łukasiewicz-Topos Models of Neural Networks, Cell Genome and Interactome Nonlinear Dynamics). CERN Preprint EXT-2004-059. Health Physics and Radiation Effects (June 29, 2004).
-
6
Baianu, I. C., Glazebrook, J. F. and G. Georgescu: 2004, Categories of Quantum Automata and N-Valued Łukasiewicz Algebras in Relation
to Dynamic Bionetworks, (M,R)–Systems and Their Higher Dimensional Algebra
, http://en.wikipedia.org/wiki/User:Bci2/Books/InteractomicsAbstract and Preprint of Report in PDF .
-
7
Baianu I. C., Brown R., Georgescu G. and J. F. Glazebrook: 2006b, Complex Nonlinear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations
of Neuronal, Genetic and Neoplastic Networks., Axiomathes, 16 Nos. 1–2: 65–122.
- 8 Mitchell, Barry. The Theory of Categories. Academic Press: London, 1968.
Title | generalized toposes with many-valued logic subobject classifiers |
Canonical name | GeneralizedToposesWithManyvaluedLogicSubobjectClassifiers |
Date of creation | 2013-03-22 18:13:11 |
Last modified on | 2013-03-22 18:13:11 |
Owner | bci1 (20947) |
Last modified by | bci1 (20947) |
Numerical id | 60 |
Author | bci1 (20947) |
Entry type | Topic |
Classification | msc 58A03 |
Classification | msc 18B25 |
Classification | msc 03B15 |
Classification | msc 03G30 |
Classification | msc 03G20 |
Classification | msc 03B50 |
Synonym | LMn-algebraic n-valued logic |
Synonym | algebraic category of logic algebras |
Related topic | NonAbelianStructures |
Related topic | AbelianCategory |
Related topic | AxiomsForAnAbelianCategory |
Related topic | GeneralizedVanKampenTheoremsHigherDimensional |
Related topic | AxiomaticTheoryOfSupercategories |
Related topic | CategoricalOntology |
Related topic | NonCommutingGraphOfAGroup |
Related topic | NonAbelianStructures |
Related topic | QuantumLogicsTopoi |
Related topic | CategoricalAlgebr |
Defines | many-valued logic subobject classifier |
Defines | algebraic category of LMn logic algebras |
Defines | noncommutative lattice |