Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems

Baianu, Professor I.C. and Georgescu, Professor George and Glazebrook, Professor James F. (2010) Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems. [Journal (Paginated)]

This is the latest version of this eprint.

Full text available as:

PDF (Peer-reviewed , online publication) - Published Version
Available under License Creative Commons Attribution Non-commercial.

[img] ASCII


A novel approach to self-organizing, highly-complex systems (HCS), such as living organisms and artificial intelligent systems (AIs), is presented which is relevant to Cognition, Medical Bioinformatics and Computational Neuroscience. Quantum Automata (QAs) were defined in our previous work as generalized, probabilistic automata with quantum state spaces (Baianu, 1971). Their next-state functions operate through transitions between quantum states defined by the quantum equations of motion in the Schroedinger representation, with both initial and boundary conditions in space-time. Such quantum automata operate with a quantum logic, or Q-logic, significantly different from either Boolean or Łukasiewicz many-valued logic. A new theorem is proposed which states that the category of quantum automata and automata--homomorphisms has both limits and colimits. Therefore, both categories of quantum automata and classical automata (sequential machines) are bicomplete. A second new theorem establishes that the standard automata category is a subcategory of the quantum automata category. The quantum automata category has a faithful representation in the category of Generalized (M,R)--Systems which are open, dynamic biosystem networks with defined biological relations that represent physiological functions of primordial organisms, single cells and higher organisms.

Item Type:Journal (Paginated)
Additional Information: ISSN: 2067-3957
Keywords:LM--algebraic logic, LM--logic algebras, algebraic category of LM-logic algebras, fundamental theorems of LM-logic algebra, non-linear genetic networks, nonlinear dynamics, Epigenomics, Cellular Interactomics, Immunology and hormonal regulatory systems, category theory, functors and natural transformations, toposes and Heyting logic algebras, quantum automata categories, limits and colimits, quantum automata homomorphisms, Abelian category, bicomplete categories, Quantum Relational Biology, generalised metabolic-replication, (M,R)--systems, complex bionetworks, quantum logic, non-commutative lattices, Hilbert space, quantum computers, computability of complex biological systems, Cartesian closed categories, extended quantum topos, category of groupoids, dynamic realisations of generalised (M,R)-systems (GMRs), category of GMRs, compact subsystems of GMR
Subjects:Biology > Theoretical Biology
Neuroscience > Computational Neuroscience
Computer Science > Complexity Theory
Computer Science > Dynamical Systems
Computer Science > Neural Nets
Neuroscience > Neurogenetics
Neuroscience > Neural Modelling
Neuroscience > Neurophysiology
ID Code:7751
Deposited By: Baianu, Professor I. C.
Deposited On:16 Dec 2011 00:58
Last Modified:16 Dec 2011 00:58

Available Versions of this Item

References in Article

Select the SEEK icon to attempt to find the referenced article. If it does not appear to be in cogprints you will be forwarded to the paracite service. Poorly formated references will probably not work.

[1] Georgescu G, Iorgulescu A, Rudeanu S (2006) International Journal of Computers, Communications and Control, vol.1 (1): 81--99

[2] Baianu I C (1971a) Organismic Supercategories and Qualitative Dynamics of Systems. Bull. Math.Biophysics.,33:339-353;

[3] Baianu I C (1971b) Categories, Functors and Quantum Algebraic Computations. In: Suppes P (ed) Proceed. Fourth Intl. Congress LMPS, September 1-4, 1971, University of Bucharest.

[4]Baianu I C (1973) Some Algebraic Properties of (M,R)-Systems in Categories. Bull. Math. Biophysics 35: 213-218

[5]Baianu I. C. and Mircea M. Marinescu (1974) On a Functorial Construction of Generalized (M,R)- Systems. Rev.Roum.Math Appl.{19}:389--392.

[6] Baianu I. C. (1977) A Logical Model of Genetic Activities in Łukasiewicz Algebras: The Non-linear Theory. Bulletin of Mathematical Biology, 39:249--258

[7] Baianu I.C. (1987) Computer Models and Automata Theory in Biology and Medicine(A Review). In:M. Witten (ed) Mathematical Models in Medicine.,vol.7:1513--1577. Pergamon Press, New York.

[8] Baianu I C, Brown R, and Glazebrook J F (2007) Categorical ontology of complex spacetime structures: the emergence of life and human consciousness, Axiomathes 17: 223-352.

[9] Baianu I.C, Brown R, and Glazebrook J F (2007) A conceptual construction of complexity levels theory in spacetime categorical ontology: non-Abelian algebraic topology, many-valued logics and dynamic systems. Axiomathes, (17):409--493.

[11] Brown R, and Porter T (2003) Category theory and higher dimensional algebra: potential descriptive tools in neuroscience. In: Singh N (ed) Proceedings of the International Conference on Theoretical Neurobiology (February 2003). Conference Proceedings vol.{1}:80-92. National Brain Research Centre, Delhi.

[12] Brown R (2004) Crossed complexes and homotopy groupoids as non commutative tools for higher dimensional local-to-global problems. In: Proceedings of the Fields Institute Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories, September 23-28, 2004, Fields Institute Communications,{43}:101--130.

[13] Brown R, Hardie K A, Kamps K H, and Porter T (2002) A homotopy double groupoid of a Hausdorff space. Theory and Applications of Categories, (10):71-93.

[14] Georgescu G, and Popescu D. (1968). On Algebraic Categories. Revue Roumaine de Mathematiques Pures et Appliqu\'ees, (13):337--342.

[15] Georgescu G, and Vraciu C (1970). On the Characterization of Łukasiewicz Algebras. J. Algebra, 16 (4):486--495.

[16] Georgescu G (2006). N-valued Logics and Ł ukasiewicz--Moisil Algebras. Axiomathes {16} (1--2): 123--136.

[17] Landsman N P (1998) Mathematical topics between classical and quantum mechanics. Springer Verlag, New York.

[18] McCullough E, and Pitts M (1945) Bull. Math. Biophys,{ 7}:112--145.

[19] Rosen R (1958) The Representation of Biological Systems from the Standpoint of the Theory of Categories. Bull. Math. Biophys, {20}, 317-341.

[20] Rosen R (1973) On the Dynamical realization of (M,R)-Systems. Bull. Math. Biology. {35}:1--10.

[21] Popescu, N (1973) Abelian Categories with Applications to Rings and Modules. Academic Press, New York and London, 2nd edn. 1975. (English translation by I.C. Baianu).

[22] Warner M (1982) Representations of (M,R)-Systems by Categories of Automata. Bull. Math. Biol. {44}: 661-668.

[23] Baianu I C, Glazebrook, J F, and Brown, R.2009. Algebraic Topology Foundations of Supersymmetry and Symmetry Breaking in Quantum Field Theory and Quantum Gravity: A Review. Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) ,{5}: 051, 70 pages. arXiv:0904.3644. doi:10.3842/SIGMA.2009.051

[24] Alfsen E M, and Schultz F W (2003) Geometry of State Spaces of Operator Algebras.} Birkh\"auser, Boston--Basel--Berlin

[25] G M, Roscoe A W and Wachter R F ( eds) (1991) Topology and Category Theory in Computer Science. Oxford University Press, USA, 498 pp. ISBN-10: 0198537603.

[26] Moggi E, and Rosolini G (eds) (1997) Category Theory and Computer Science}: 7th International Conference, CTCS'97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science, 1290) .ISBN-10: 354063455X ; see also the proceedings of the 5th and 6th Conferences in the same series.

[27] Adian S, and Nerode, A (eds) (1997) Logical Foundations of Computer Science., In: Proceedings, vol. \textbf{1233}. IX.Berlin, Springer -Verlag, 431 pages.

[28] Neumann J (2002) Learning the Systematic Transformation of Holographic Reduced Representations. Cognitive Systems Research, {3}: 227-235.

[29] Paine J (2010) What might Category Theory do for Artificial Intelligence and Cognitive Science? April 15, popx\


[30] Lawvere W F (1994) Tools for the Advancement of Objective Logic: Closed Categories and Toposes. In: Macnamara J, and. Reyes G E (eds) The Logical Foundations of Cognition. Oxford University Press, Oxford, UK

[31] Moisil Gr C (1940) Recherches sur les logiques non-chrysippiennes. Ann Sci Univ Jassy {26}: 431-466

[32] Moisil Gr C (1959) Utilization of three-valued logics to the theory of switching circuits. VI. Polarized relays with unstable neutral. VII. Operation of ordinary relays under low self-maintaining current. VIII. -two terminals with contacts and resistances. IX. -two-terminals with contacts, valves and resistances. X. Physical interpretation of the characteristic function of a multi-terminal (Romanian), Comunic. Acad. R.P. Romane {9}: 411--413, 531--532, 533--535, 665--666, and 667--669

[33] Moisil Gr C (1960) Sur les id\'eaux des alg\`ebres Łukasiewicziennes trivalentes. Analele Univ. C.I. Parhon, Seria Acta Logica{3}: 83—95.

[34] Moisil Gr C (1964) Sur les logiques de Łukasiewicz \`a un nombre fini de valeurs. Rev. Roum. Math. Pures Appl. {9}: 905-920

[35] Moisil Gr C (1965) \emph {Old and New Essays on Non-Classical Logics. Editura Stiintifica, Bucharest

[36] Moisil Gr C (1967) ``Th\'eorie structurelle des automats finis.". Gauthiers-Villars, Paris

[37] Moisil Gr C (1968) Łukasiewicz algebras. Computing Center: University of Bucharest: (preprint—unpublished), pp.311-324.

[38] Moisil Gr C (1969) The Algebraic Theory of Switching Circuits (orig. in Romanian). Editura Tehnica Bucuresti. (English translation in 1969), Pergamon Press, Oxford and Editura Tehnica, Bucharest.

[39] Moisil Gr C (1972) Essais sur les logiques non-chrysippiennnes. Editura Academiei R.S. Romania, Bucharest.

[40] Janelidze G, Schumacher D and R. Street R (1991) Galois theory in variable categories. Applied Categorical Structures, vol . 1, No 1: 103-110, DOI: 10.1007/BF00872989.

[41] Mac Lane S, and Moerdijk, I (1992) Sheaves in geometry and logic: A first introduction to topos theory, in Prologue, on p.1. Springer,:Berlin.

[42] Eytan M (1981) Fuzzy sets and Systems. Elsevier Publs, London and New York

[43] Stout L N (1984) Topoi and categories of fuzzy sets. Fuzzy Sets and Systems, vol .{12}, Issue 2, pp 169--184, Elsevier Publs, London and New York

[44] Baianu I C (2004) Quantum Nano-Automata (QNA): Microphysical Measurements with Microphysical QNA Instruments. CERN Preprint EXT-2004-12.

[45] Baianu I C, Glazebrook J F, and Georgescu G (2004) Categories of Quantum Automata and N-Valued Łukasiewicz Algebras in Relation to Dynamic Bionetworks, (M,R)-Systems and Their Higher Dimensional Algebra. Abstract and Preprint of Report:


Repository Staff Only: item control page