scholarly journals Classical Logic and Quantum Logic with Multiple and Common Lattice Models

2016 ◽  
Vol 2016 ◽  
pp. 1-12 ◽  
Author(s):  
Mladen Pavičić
Keyword(s):  
Quantum Logic ◽  
Classical Logic ◽  
Orthomodular Lattice ◽  
Lattice Models ◽  
Quantum Space ◽  
Technical Terms

We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices. In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices. We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic. In technical terms, that enables us to run the same classical logic on both a digital (standard, two-subset, 0-1-bit) computer and a nondigital (say, a six-subset) computer (with appropriate chips and circuits). With quantum logic, the same six-element common lattice can serve us as a benchmark for an efficient evaluation of equations of bigger lattice models or theorems of the logic.

scholarly journals Classical Logic in the Quantum Context

2020 ◽  
Vol 2 (4) ◽  
pp. 600-616
Author(s):  
Andrea Oldofredi
Keyword(s):  
Quantum Mechanics ◽  
Quantum Theory ◽  
Quantum Logic ◽  
Classical Logic ◽  
Theory Of Measurement ◽  
Propositional Calculus ◽  
Bohmian Mechanics ◽  
Physical Content ◽  
Present Essay ◽  
Classical Propositional Calculus

It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model the propositions of every quantum theory is challenged. In the present essay, we critically discuss this claim by showing that classical logic can be rehabilitated in a quantum context by taking into account Bohmian mechanics. It will be argued, indeed, that such a theoretical framework provides the necessary conceptual tools to reintroduce a classical logic of experimental propositions by virtue of its clear metaphysical picture and its theory of measurement. More precisely, it will be shown that the rehabilitation of a classical propositional calculus is a consequence of the primitive ontology of the theory, a fact that is not yet sufficiently recognized in the literature concerning Bohmian mechanics. This work aims to fill this gap.

scholarly journals Logical Paradoxes in Non-Classical Logic Systems

2021 ◽  
Author(s):  
Serge Dolgikh
Keyword(s):  
Quantum Logic ◽  
Classical Logic ◽  
Logic Systems ◽  
Logical Paradoxes

It is shown that well-known logical paradoxes such as Barber paradox can be interpreted differently in non-classical logic systems such as multi-valued, continuous and quantum logic with possibility of solutions of the paradox. The results of this research can have applications in investigations of completeness of logic systems.

An axiomatisation of quantum logic

1973 ◽  
Vol 38 (3) ◽  
pp. 389-392 ◽  
Author(s):  
Ian D. Clark
Keyword(s):  
Quantum Logic ◽  
Orthomodular Lattice ◽  
Binary Operation ◽  
Ordered Set ◽  
Unary Operation ◽  
Axiom System ◽  
Partial Ordering ◽  
Orthomodular Poset ◽  
Implication Algebra ◽  
Image Position

The purpose of this paper is to give an axiom system for quantum logic. Here quantum logic is considered to have the structure of an orthomodular lattice. Some authors assume that it has the structure of an orthomodular poset.In finding this axiom system the implication algebra given in Finch [1] has been very useful. Finch shows there that this algebra can be produced from an orthomodular lattice and vice versa.Definition. An orthocomplementation N on a poset (partially ordered set) whose partial ordering is denoted by ≤ and which has least and greatest elements 0 and 1 is a unary operation satisfying the following:(1) the greatest lower bound of a and Na exists and is 0,(2) a ≤ b implies Nb ≤ Na,(3) NNa = a.Definition. An orthomodular lattice is a lattice with meet ∧, join ∨, least and greatest elements 0 and 1 and an orthocomplementation N satisfyingwhere a ≤ b means a ∧ b = a, as usual.Definition. A Finch implication algebra is a poset with a partial ordering ≤, least and greatest elements 0 and 1 which is orthocomplemented by N. In addition, it has a binary operation → satisfying the following:An orthomodular lattice gives a Finch implication algebra by defining → byA Finch implication algebra can be changed into an orthomodular lattice by defining the meet ∧ and join ∨ byThe orthocomplementation is unchanged in both cases.

scholarly journals Labeled Sequent Calculus for Orthologic

2018 ◽  
Vol 47 (4) ◽  
Author(s):  
Tomoaki Kawano
Keyword(s):  
Quantum Logic ◽  
Classical Logic ◽  
Sequent Calculus ◽  
Sequent Calculi

Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades. Although there are many studies on sequent calculus forOL, these sequent calculi have some problems. In particular, they do not includeimplication connective and they are mostly incompatible with the cut-eliminationtheorem. In this paper, we introduce new labeled sequent calculus called LGOI, and show that this sequent calculus solve the above problems. It is alreadyknown that OL is decidable. We prove that decidability is preserved when theimplication connective is added to OL.

scholarly journals From Classical Logic to Fuzzy Logic and Quantum Logic: A General View

2021 ◽  
Vol 16 (1) ◽  
Author(s):  
Sorin Nadaban
Keyword(s):  
Fuzzy Logic ◽  
Quantum Logic ◽  
Hilbert Spaces ◽  
Classical Logic ◽  
Mathematical Concept ◽  
General View

The aim of this article is to offer a concise and unitary vision upon the algebraic connections between classical logic and its generalizations, such as fuzzy logic and quantum logic. The mathematical concept which governs any kind of logic is that of lattice. Therefore, the lattices are the basic tools in this presentation. The Hilbert spaces theory is important in the study of quantum logic and it has also been used in the present paper.

scholarly journals Quantum categories for quantum logic

2019 ◽  
Vol 25 (1) ◽  
pp. 70-87
Author(s):  
Владимир Леонидович Васюков
Keyword(s):  
Quantum Logic ◽  
Orthomodular Lattice ◽  
Heyting Algebra ◽  
Theoretic Approach ◽  
Orthomodular Lattices ◽  
C Algebras ◽  
Categorical Structure ◽  
Abstract Case ◽  
Complete Preorder ◽  
Categorical Semantics

The paper is the contribution to quantum toposophy focusing on the abstract orthomodular structures (following Dunn-Moss-Wang terminology). Early quantum toposophical approach to "abstract quantum logic" was proposed based on the topos of functors $\mathsf{[E,Sets]}$ where $\mathsf{E}$ is a so-called orthomodular preorder category – a modification of categorically rewritten orthomodular lattice (taking into account that like any lattice it will be a finite co-complete preorder category). In the paper another kind of categorical semantics of quantum logic is discussed which is based on the modification of the topos construction itself – so called $quantos$ – which would be evaluated as a non-classical modification of topos with some extra structure allowing to take into consideration the peculiarity of negation in orthomodular quantum logic. The algebra of subobjects of quantos is not the Heyting algebra but an orthomodular lattice. Quantoses might be apprehended as an abstract reflection of Landsman's proposal of "Bohrification", i.e., the mathematical interpretation of Bohr's classical concepts by commutative $C^*$-algebras, which in turn are studied in their quantum habitat of noncommutative $C^*$-algebras – more fundamental structures than commutative $C^*$-algebras. The Bohrification suggests that topos-theoretic approach also should be modified. Since topos by its nature is an intuitionistic construction then Bohrification in abstract case should be transformed in an application of categorical structure based on an orthomodular lattice which is more general construction than Heyting algebra – orthomodular lattices are non-distributive while Heyting algebras are distributive ones. Toposes thus should be studied in their quantum habitat of "orthomodular" categories i.e. of quntoses. Also an interpretation of some well-known systems of orthomodular quantum logic in quantos of functors $\mathsf{[E,QSets]}$ is constructed where $\mathsf{QSets}$ is a quantos (not a topos) of quantum sets. The completeness of those systems in respect to the semantics proposed is proved.

On realization of effect algebras

2016 ◽  
Vol 66 (2) ◽  
Author(s):  
Josef Niederle ◽  
Jan Paseka
Keyword(s):  
Quantum Logic ◽  
Orthomodular Lattice ◽  
Effect Algebra ◽  
Simplex Algorithm ◽  
Effect Algebras ◽  
Standard Quantum ◽  
Generalized Effect Algebra ◽  
Determining Set

AbstractA well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not order embeddable into the standard quantum logic, the latticeWe show that a finite generalized effect algebra is order embeddable into the standard effect algebraAs an application we obtain an algorithm, which is based on the simplex algorithm, deciding whether such an order embedding exists and, if the answer is positive, constructing it.

Sign in / Sign up

Export Citation Format

Share Document