N-Valued Logics and Łukasiewicz–Moisil Algebras

@article{Georgescu2006NValuedLA,
  title={N-Valued Logics and Łukasiewicz–Moisil Algebras},
  author={G. Georgescu},
  journal={Axiomathes},
  year={2006},
  volume={16},
  pages={123-136}
}
AbstractFundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras, , (which are well-understood) to the more general category $${\cal L}$$Mn of Łukasiewicz–Moisil Algebras. Furthermore, the… Expand
Lukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems
The fundamentals of Lukasiewicz-Moisil logic algebras and their applications to complex genetic network dynamics and highly complex systems are presented in the context of a categorical ontologyExpand
Baianu et al. LM Many-Valued Logic Algebras 1. Algebraic Logic, Operational and Lukasiewicz Quantum Logic As pointed out by Birkhoff and von Neumann as early as 1936, a logical foundation of quantum mechanics consistent with quantum algebra is essen- tial
The fundamentals of à Lukasiewicz-Moisil logic algebras and their applications to complex genetic network dynamics and highly complex systems are presented in the context of a categorical ontologyExpand
Baianu et al. LM Many-Valued Logic Algebras 1. Algebraic Logic, Operational and Lukasiewicz Quantum Logic As pointed out by Birkhoff and von Neumann as early as 1936, a logical foundation of quantum mechanics consistent with quantum algebra is essen- tial
The fundamentals of à Lukasiewicz-Moisil logic algebras and their applications to complex genetic network dynamics and highly complex systems are presented in the context of a categorical ontologyExpand
Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks
TLDR
A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed, avoiding well known logical paradoxes occurring with sets. Expand
Hidden modalities in algebras with negation and implication
Lukasiewicz 3-valued logic may be seen as a logic with hidden truth- functional modalities dened by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provableExpand
A Non-Abelian, Categorical Ontology of Spacetimes and Quantum Gravity
A non-Abelian, Universal SpaceTime Ontology is introduced in terms of Categories, Functors, Natural Transformations, Higher Dimensional Algebra and the Theory of Levels. A Paradigm shift towardsExpand
FROM SIMPLE TO HIGHLY-COMPLEX SYSTEMS : A PARADIGM SHIFT TOWARDS NON-ABELIAN EMERGENT SYSTEM DYNAMICS AND META-LEVELS
The evolution of non-linear dynamical system theory and super-complex systems–that are defined by classes of variable topologies and their associated transformations–is presented from a categorialExpand
Many-Valued Logic and Zadeh’s Fuzzy Sets: A Stone Representation Theorem for Interval-Valued Łukasiewicz–Moisil Algebras
TLDR
A representation theory of interval-valued Łukasiewicz–Moisil algebras is developed; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebraes. Expand
A Conceptual Construction of Complexity Levels Theory in Spacetime Categorical Ontology: Non-Abelian Algebraic Topology, Many-Valued Logics and Dynamic Systems
TLDR
A paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. Expand
files: Acomarev34TAO1pt10 .tex CATEGORICAL ONTOLOGY OF COMPLEX SYSTEMS, META–SYSTEMS AND LEVELS: THE EMERGENCE OF LIFE, HUMAN CONSCIOUSNESS AND SOCIETY
The task of developing novel and improved methodological tools for a categorical ontology of complex spacetime structures and the ontological theory of levels is here considered from severalExpand
...
1
2
3
...

References

SHOWING 1-10 OF 30 REFERENCES
Algebraic analysis of many valued logics
This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the No-valued propositional calculus(2). For want of a better name, we shall callExpand
Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks
TLDR
A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed, avoiding well known logical paradoxes occurring with sets. Expand
Formalisations of further ℵ 0 -valued Łukasiewicz propositional calculi
It has been shown that, for all rational numbers r such that 0≤ r ≤ 1, the ℵ 0 -valued Łukasiewicz propositional calculus whose designated truth-values are those truth-values x such that r ≤ x ≤ 1Expand
Lukasiewicz-Moisil algebras
TLDR
This paper presents a meta-analyses of Lukasiewicz-Moisil Algebras and its applications to Switching Theory, concerned with topological Dualities in Lattice Theory and representation theorems and Duality. Expand
Basic Fuzzy Logic is the logic of continuous t-norms and their residua
TLDR
The main result is to show that B1 and B2 axioms are indeed redundant, and an improvement of the decomposition theorem for saturated BL-chains as ordinal sums whose components are either MV, product or Gödel chains, in an analogous way as for continuous t-norms. Expand
A new proof of the completeness of the Łukasiewicz axioms
The purpose of this note is to provide a new proof for the completeness of the Lukasiewicz axioms for infinite valued propositional logic. For the existing proof of completeness and a history of theExpand
Sheaves in geometry and logic: a first introduction to topos theory
This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to variousExpand
A Theorem About Infinite-Valued Sentential Logic
TLDR
It is the purpose of this paper to prove a theorem which will be stated in the next section, and the following symbolism and convention will be used throughout the paper. Expand
On the characterization of centered Lukasiewicz algebras
Abstract The notion of a Lukasiewicz algebra was introduced in [11]. In the following we shall attempt a characterization of the centered n -valued Lukasiewicz algebras [10]. From this, it will beExpand
THE REPRESENTATION OF BIOLOGICAL SYSTEMS FROM THE STANDPOINT OF THE THEORY OF CATEGORIES
A mathematical framework for a rigorous theory of general systems is constructed, using the notions of the theory of Categories and Functors introduced by Eilenberg and MacLane (1945,Trans. Am. Math.Expand
...
1
2
3
...