In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible (...) realms. (shrink)

In this paper we analyze and discuss the historical and philosophical development of the notion of logical possibility focusing on its specific meaning in classical and quantum mechanics. Taking into account the logical structure of quantum theory we continue our discussion regarding the Aristotelian Square of Opposition in orthomodular structures enriched with a monadic quantifier. Finally, we provide an interpretation of the Orthomodular Square of Opposition exposing the fact that classical possibility and quantum possibility behave formally in radically different manners.

In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*-semigroups as in [22].

In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is represented by relations (...) between certain terms of the language in which the algebraic structure is formulated. This representation is sometimes called the modal square of opposition. Several generalizations of the monadic first order logic can be obtained by changing the underlying Boolean structure by another one giving rise to new possible interpretations of the square. (shrink)

Shi and Aharonov have shown that the Toffoli gate and the Hadamard gate give rise to an approximately universal set of quantum computational gates. We study the basic algebraic properties of this system by introducing the notion of Shi-Aharonov quantum computational structure. We show that the quotient of this structure is isomorphic to a structure based on a particular set of complex numbers (the closed disc with center \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$(\frac{1}{2},\frac{1}{2})$\end{document} and radius \documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\frac{1}{2}$\end{document} ). (shrink)

We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras - first introduced in \cite{Ledda et al. 2006}, \cite{Giuntini et al. 200+} and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of $\sqrt{^{\prime }}$ quasi-MV algebras; we give a representation of semisimple $\sqrt{^{\prime }}$ quasi-MV algebras in terms of algebras of functions; (...) finally, we describe the structure of free algebras with one generator in both varieties. (shrink)

We present a generalization of the problem of pattern recognition to arbitrary probabilistic models. This version deals with the problem of recognizing an individual pattern among a family of different species or classes of objects which obey probabilistic laws which do not comply with Kolmogorov’s axioms. We show that such a scenario accommodates many important examples, and in particular, we provide a rigorous definition of the classical and the quantum pattern recognition problems, respectively. Our framework allows for the introduction of (...) non-trivial correlations between the different species involved, opening the door to a new way of harnessing these physical resources for solving pattern recognition problems. Finally, we present some examples and discuss the computational complexity of the quantum pattern recognition problem, showing that the most important quantum computation algorithms can be described as non-Kolmogorovian pattern recognition problems. (shrink)

In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem.

In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in proving the amalgamation property for such a class of algebras.

In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W. Heisenberg. We present then a general characterization of what we consider to be a modal interpretation. Following previous papers in which we have introduced modalities in the Kochen-Specker theorem, we investigate the consequences of these theorems in relation to the modal interpretations of quantum mechanics.

In the framework of algebras with infinitary operations, the equational theory of $$\bigvee _{\kappa }$$ ⋁ κ -complete Heyting algebras or Heyting $$\kappa $$ κ -frames is studied. A Hilbert style calculus algebraizable in this class is formulated. Based on the infinitary structure of Heyting $$\kappa $$ κ -frames, an equational type completeness theorem related to the $$\langle \bigvee, \wedge, \rightarrow, 0 \rangle $$ ⟨ ⋁, ∧, →, 0 ⟩ -structure of frames is also obtained.

An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Łukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard MV-algebra on the real segment [0, 1] is an injective MV-algebra. In particular the logics associated with MV-algebras with product and with divisible MV-algebras are considered.

In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.

In this paper we investigate a categorical equivalence between square root qMV-algehras (a variety of algebras arising from quantum computation) and a category of preordered semigroups.

This book provides an interdisciplinary approach to one of the most fascinating and important open questions in science: What is quantum mechanics really talking about? In the last decades quantum mechanics has given rise to a new quantum technological era, a revolution taking place today especially within the field of quantum information processing; which goes from quantum teleportation and cryptography to quantum computation. Quantum theory is probably our best confirmed physical theory. However, in spite of its great empirical effectiveness it (...) stands today still without a universally accepted physical representation that allows us to understand its relation to the world and reality. The novelty of the book comes from the multiple perspectives put forward by top researchers in quantum mechanics, from Europe as well as North and South America, discussing the meaning and structure of the theory of quanta. The book comprises in a balanced manner physical, philosophical, logical and mathematical approaches to quantum mechanics and quantum information. Going from quantum superpositions and entanglement to dynamics and the problem of identity; from quantum logic, computation and quasi-set theory to the category approach and teleportation; from realism and empiricism to operationalism and instrumentalism; the book considers from different angles some of the most intriguing questions in the field. From Buenos Aires to Brussels and Cagliari, from Florence to Florianópolis, the interaction between different groups is reflected in the many different articles. This book is interesting not only to the specialists but also to the general public attempting to get a grasp on some of the most fundamental questions of present quantum physics. (shrink)