182 research outputs found
The groupoid-based logic for lattice effect algebras
The aim of the paper is to establish a certain logic corresponding to lattice
effect algebras. First, we answer a natural question whether a lattice effect
algebra can be represented by means of a groupoid-like structure. We establish
a one-to-one correspondence between lattice effect algebras and certain
groupoids with an antitone involution. Using these groupoids, we are able to
introduce a suitable logic for lattice effect algebras.Comment: 7 page
First-Order Logical Duality
From a logical point of view, Stone duality for Boolean algebras relates
theories in classical propositional logic and their collections of models. The
theories can be seen as presentations of Boolean algebras, and the collections
of models can be topologized in such a way that the theory can be recovered
from its space of models. The situation can be cast as a formal duality
relating two categories of syntax and semantics, mediated by homming into a
common dualizing object, in this case 2. In the present work, we generalize the
entire arrangement from propositional to first-order logic. Boolean algebras
are replaced by Boolean categories presented by theories in first-order logic,
and spaces of models are replaced by topological groupoids of models and their
isomorphisms. A duality between the resulting categories of syntax and
semantics, expressed first in the form of a contravariant adjunction, is
established by homming into a common dualizing object, now \Sets, regarded
once as a boolean category, and once as a groupoid equipped with an intrinsic
topology. The overall framework of our investigation is provided by topos
theory. Direct proofs of the main results are given, but the specialist will
recognize toposophical ideas in the background. Indeed, the duality between
syntax and semantics is really a manifestation of that between algebra and
geometry in the two directions of the geometric morphisms that lurk behind our
formal theory. Along the way, we construct the classifying topos of a decidable
coherent theory out of its groupoid of models via a simplified covering theorem
for coherent toposes.Comment: Final pre-print version. 62 page
Residuated structures and orthomodular lattices
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., ℓ-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated ℓ-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated ℓ-groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated ℓ-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices
Categorical Ontology of Complex Systems, Meta-Systems and Theory of Levels: The Emergence of Life, Human Consciousness and Society
Single cell interactomics in simpler organisms, as well as somatic cell interactomics in multicellular organisms, involve biomolecular interactions in complex signalling pathways that were recently represented in modular terms by quantum automata with ‘reversible behavior’ representing normal cell cycling and division. Other implications of such quantum automata, modular modeling of signaling pathways and cell differentiation during development are in the fields of neural plasticity and brain development leading to quantum-weave dynamic patterns and specific molecular processes underlying extensive memory, learning, anticipation mechanisms and the emergence of human consciousness during the early brain development in children. Cell interactomics is here represented for the first time as a mixture of ‘classical’ states that determine molecular dynamics subject to Boltzmann statistics and ‘steady-state’, metabolic (multi-stable) manifolds, together with ‘configuration’ spaces of metastable quantum states emerging from complex quantum dynamics of interacting networks of biomolecules, such as proteins and nucleic acids that are now collectively defined as quantum interactomics. On the other hand, the time dependent evolution over several generations of cancer cells --that are generally known to undergo frequent and extensive genetic mutations and, indeed, suffer genomic transformations at the chromosome level (such as extensive chromosomal aberrations found in many colon cancers)-- cannot be correctly represented in the ‘standard’ terms of quantum automaton modules, as the normal somatic cells can. This significant difference at the cancer cell genomic level is therefore reflected in major changes in cancer cell interactomics often from one cancer cell ‘cycle’ to the next, and thus it requires substantial changes in the modeling strategies, mathematical tools and experimental designs aimed at understanding cancer mechanisms. Novel solutions to this important problem in carcinogenesis are proposed and experimental validation procedures are suggested. From a medical research and clinical standpoint, this approach has important consequences for addressing and preventing the development of cancer resistance to medical therapy in ongoing clinical trials involving stage III cancer patients, as well as improving the designs of future clinical trials for cancer treatments.\ud
\ud
\ud
KEYWORDS: Emergence of Life and Human Consciousness;\ud
Proteomics; Artificial Intelligence; Complex Systems Dynamics; Quantum Automata models and Quantum Interactomics; quantum-weave dynamic patterns underlying human consciousness; specific molecular processes underlying extensive memory, learning, anticipation mechanisms and human consciousness; emergence of human consciousness during the early brain development in children; Cancer cell ‘cycling’; interacting networks of proteins and nucleic acids; genetic mutations and chromosomal aberrations in cancers, such as colon cancer; development of cancer resistance to therapy; ongoing clinical trials involving stage III cancer patients’ possible improvements of the designs for future clinical trials and cancer treatments. \ud
\u
Measurement spaces
The question of what should be meant by a measurement is tackled from a
mathematical perspective whose physical interpretation is that a measurement is
a process via which a finite amount of classical information is generated. This
motivates a mathematical definition of space of measurements that consists of a
topological stably Gelfand quantale whose open sets represent measurable
physical properties. It also accounts for the distinction between quantum and
classical measurements, and for the emergence of "classical observers." The
latter have a relation to groupoid C*-algebras, and link naturally to
Schwinger's notion of selective measurement
On some properties of quasi-MV algebras and square root quasi-MV algebras, IV
In the present paper, which is a sequel to
[20, 4, 12], we investigate further the structure theory of quasiMV
algebras and √0quasi-MV algebras. In particular: we provide
a new representation of arbitrary √0qMV algebras in terms
of √0qMV algebras arising out of their MV* term subreducts of
regular elements; we investigate in greater detail the structure
of the lattice of √0qMV varieties, proving that it is uncountable,
providing equational bases for some of its members, as well as
analysing a number of slices of special interest; we show that the
variety of √0qMV algebras has the amalgamation property; we
provide an axiomatisation of the 1-assertional logic of √0qMV
algebras; lastly, we reconsider the correspondence between Cartesian
√0qMV algebras and a category of Abelian lattice-ordered
groups with operators first addressed in [10]
Algebraic Topology Foundations of Supersymmetry and Symmetry Breaking in Quantum Field Theory and Quantum Gravity: A Review
A novel algebraic topology approach to supersymmetry (SUSY) and symmetry
breaking in quantum field and quantum gravity theories is presented with a view
to developing a wide range of physical applications. These include: controlled
nuclear fusion and other nuclear reaction studies in quantum chromodynamics,
nonlinear physics at high energy densities, dynamic Jahn-Teller effects,
superfluidity, high temperature superconductors, multiple scattering by
molecular systems, molecular or atomic paracrystal structures, nanomaterials,
ferromagnetism in glassy materials, spin glasses, quantum phase transitions and
supergravity. This approach requires a unified conceptual framework that
utilizes extended symmetries and quantum groupoid, algebroid and functorial
representations of non-Abelian higher dimensional structures pertinent to
quantized spacetime topology and state space geometry of quantum operator
algebras. Fourier transforms, generalized Fourier-Stieltjes transforms, and
duality relations link, respectively, the quantum groups and quantum groupoids
with their dual algebraic structures; quantum double constructions are also
discussed in this context in relation to quasi-triangular, quasi-Hopf algebras,
bialgebroids, Grassmann-Hopf algebras and higher dimensional algebra. On the
one hand, this quantum algebraic approach is known to provide solutions to the
quantum Yang-Baxter equation. On the other hand, our novel approach to extended
quantum symmetries and their associated representations is shown to be relevant
to locally covariant general relativity theories that are consistent with
either nonlocal quantum field theories or local bosonic (spin) models with the
extended quantum symmetry of entangled, 'string-net condensed' (ground) states
- …