D. Hilbert, in his famous program, formulated many open mathematical problems which were stimulating for the development of mathematics and a fruitful source of very deep and fundamental ideas. During the whole 20th century, mathematicians and specialists in other fields have been solving problems which can be traced back to Hilbert's program, and today there are many basic results stimulated by this program. It is sure that even at the beginning of the third millennium, mathematicians will still have much to do. One of his most interesting ideas, lying between mathematics and physics, is his sixth problem: To find a few physical axioms which, similar to the axioms of geometry, can describe a theory for a class of physical events that is as large as possible. We try to present some ideas inspired by Hilbert's sixth problem and give some partial results which may contribute to its solution. In the Thirties the situation in both physics and mathematics was very interesting. A.N. Kolmogorov published his fundamental work Grundbegriffe der Wahrschein lichkeitsrechnung in which he, for the first time, axiomatized modern probability theory. From the mathematical point of view, in Kolmogorov's model, the set L of ex perimentally verifiable events forms a Boolean a-algebra and, by the Loomis-Sikorski theorem, roughly speaking can be represented by a a-algebra S of subsets of some non-void set n.

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

Quantum-like structure is present practically everywhere. Quantum-like (QL) models, i.e. models based on the mathematical formalism of quantum mechanics and its generalizations can be successfully applied to cognitive science, psychology, genetics, economics, finances, and game theory. This book is not about quantum mechanics as a physical theory. The short review of quantum postulates is therefore mainly of historical value: quantum mechanics is just the first example of the successful application of non-Kolmogorov probabilities, the first step towards a contextual probabilistic description of natural, biological, psychological, social, economical or financial phenomena. A general contextual probabilistic model (Växjö model) is presented. It can be used for describing probabilities in both quantum and classical (statistical) mechanics as well as in the above mentioned phenomena. This model can be represented in a quantum-like way, namely, in complex and more general Hilbert spaces. In this way quantum probability is totally demystified: Born's representation of quantum probabilities by complex probability amplitudes, wave functions, is simply a special representation of this type.

Investigating the incessant technology growth and the even higher complexity of engineering systems, one of the crucial requirements to confidently steer both scientific and industrial challenges is to identify an appropriate measurement approach. A general process can be considered effective and under control if the following elements are consciously and cyclically managed: numeric target, adequate tools, output analysis, and corrective actions. The role of metrology is to rigorously harmonize this virtuous circle, providing guidance in terms of instruments, standards, and techniques to improve the robustness and the accuracy of the results. This book is designed to offer an interdisciplinary experience into the science of measurement, not only covering high-level measurement strategies but also supplying analytical details and experimental setups.

This volume focuses on the interactions between mathematics, physics, biology and neuroscience by exploring new geometrical and topological modelling in these fields. Among the highlights are the central roles played by multilevel and scale-change approaches in these disciplines. The integration of mathematics with physics, as well as molecular and cell biology and the neurosciences, will constitute the new frontier of 21st century science, where breakthroughs are more likely to span across traditional disciplines.

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.

"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.

This book investigates the electronic properties of QDs of non-linear optical, III-V, II-IV, n-GaP, n-Ge, Te, Graphite, PtSb2, zero gap, II-V, GaSb, stressed materials, Bi, IV-IV, Lead germanium telluride, Zinc and Cadmium diphosphides, Bi2Te3, Antimony, III-V,II-VI,IV-VI compounds, III-V,II-VI,IV-VI, HgTe/CdTe and strained layer Quantum Dot Superlattices (QDSL) with graded interfaces and the QD effective mass superlattices of the aforementioned materials together with their heavily doped counter parts on the basis of newly formulated electron dispersion laws. The book considers the structures in which a layer of QD is inserted in the QW (Dots-in-Well) in the base and examines theoretically if there is improvement in the performance over the usual QW structure.

The discovery of the quantized and fractional Quantum Hall Effect phenomena is among the most important physics findings in the latter half of this century. The precise quantization of the electrical resistance involved in the quantized Hall effect phenomena has led to the new definition of the resistance standard and has metrologically affected all of science and technology. This resource consists of contributions from the top researchers in the field who present recent experimental and theoretical developments. Each chapter is self-contained and includes its own set of references guiding readers to original papers and further reading on the topic.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.