Orthomodular Lattices


Book Description

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programmi ng profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "completely integrable systems", "chaos, synergetics and large-s.cale order", which are almost impossible to fit into the existing classifica tion schemes. They draw upon widely different sections of mathe matics.




Orthomodular Lattices


Book Description

This book has evolved from a set of lecture notes of a course on orthomodular lattices given at the University of Ulm. Most concepts are developed from their very first notions, but in some instances basic set theory and Hilbert space theory may be needed. The text is in general independent of the exercises and supplementary remarks. The book can be used for a general lecture on orthomodular lattices and also for seminars on special geometrical or logical topics. As the first monograph in the field it makes the widely spread results on orthomodular lattices more easily accessible for researchers.




Measures And Hilbert Lattices


Book Description

Contents: IntroductionOrthomodular MeasuresGleason's TheoremJordan-Hahn DecompositionOrthofacial Sets of StatesEquational Classes Related to StatesDecomposition of Complete Orthomodular LatticesCharacterization of Dimension LatticesBirkhoff-Von Neumann TheoremCoordinatizationsKakutani-Mackey TheoremKeller's Non-Classical Hilbert Spaces Readership: Mathematician and Physicist who are interested in Hilbert Lattices.







Handbook of Quantum Logic and Quantum Structures


Book Description

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures is appropriate. The chapters of this Handbook, which are authored by the most eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic and quantum structures. Much of the material presented is of recent origin representing the frontier of the subject. The present volume focuses on quantum structures. Among the structures studied extensively in this volume are, just to name a few, Hilbert lattices, D-posets, effect algebras MV algebras, partially ordered Abelian groups and those structures underlying quantum probability.- Written by eminent scholars in the field of logic- A comprehensive presentation of the theory, approaches and results in the field of quantum logic- Volume focuses on quantum structures




Algebraic Perspectives on Substructural Logics


Book Description

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.




Axioms for Lattices and Boolean Algebras


Book Description

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of OC join and meetOCO or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems.A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which OCo according to G Gratzer, a leading expert in modern lattice theory OCo is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices.




Reality and Measurement in Algebraic Quantum Theory


Book Description

This volume contains papers based on presentations at the “Nagoya Winter Workshop 2015: Reality and Measurement in Algebraic Quantum Theory (NWW 2015)”, held in Nagoya, Japan, in March 2015. The foundations of quantum theory have been a source of mysteries, puzzles, and confusions, and have encouraged innovations in mathematical languages to describe, analyze, and delineate this wonderland. Both ontological and epistemological questions about quantum reality and measurement have been placed in the center of the mysteries explored originally by Bohr, Heisenberg, Einstein, and Schrödinger. This volume describes how those traditional problems are nowadays explored from the most advanced perspectives. It includes new research results in quantum information theory, quantum measurement theory, information thermodynamics, operator algebraic and category theoretical foundations of quantum theory, and the interplay between experimental and theoretical investigations on the uncertainty principle. This book is suitable for a broad audience of mathematicians, theoretical and experimental physicists, and philosophers of science.




Ordered Sets and Lattices II


Book Description

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fields of partially ordered sets, semilattices, lattices, and Boolean algebras that was reviewed in Referativnyi Zhurnal Matematika from mid-1982 to the end of 1985. A continuation of a previous volume (the English translation of which was published by the AMS in 1989, as volume 141 in Translations - Series 2), this comprehensive work contains more than 2200 references. Many of the papers covered here were originally published in virtually inaccessible places. The compilation of the volume was directed by Milan Kolibiar of Comenius University at Bratislava and Lev A. Skornyakov of Moscow University. Of interest to mathematicians, as well as to philosophers and computer scientists in certain areas, this unique compendium is a must for any mathematical library.




Randomness & Undecidability in Physics


Book Description

Recent findings in the computer sciences, discrete mathematics, formal logics and metamathematics have opened up a royal road for the investigation of undecidability and randomness in physics. A translation of these formal concepts yields a fresh look into diverse features of physical modelling such as quantum complementarity and the measurement problem, but also stipulates questions related to the necessity of the assumption of continua.Conversely, any computer may be perceived as a physical system: not only in the immediate sense of the physical properties of its hardware. Computers are a medium to virtual realities. The foreseeable importance of such virtual realities stimulates the investigation of an ?inner description?, a ?virtual physics? of these universes of computation. Indeed, one may consider our own universe as just one particular realisation of an enormous number of virtual realities, most of them awaiting discovery.One motive of this book is the recognition that what is often referred to as ?randomness? in physics might actually be a signature of undecidability for systems whose evolution is computable on a step-by-step basis. To give a flavour of the type of questions envisaged: Consider an arbitrary algorithmic system which is computable on a step-by-step basis. Then it is in general impossible to specify a second algorithmic procedure, including itself, which, by experimental input-output analysis, is capable of finding the deterministic law of the first system. But even if such a law is specified beforehand, it is in general impossible to predict the system behaviour in the ?distant future?. In other words: no ?speedup? or ?computational shortcut? is available. In this approach, classical paradoxes can be formally translated into no-go theorems concerning intrinsic physical perception.It is suggested that complementarity can be modelled by experiments on finite automata, where measurements of one observable of the automaton destroys the possibility to measure another observable of the same automaton and it vice versa.Besides undecidability, a great part of the book is dedicated to a formal definition of randomness and entropy measures based on algorithmic information theory.