IEEE International Symposium on Multiple-Valued Logic (ISMVL)

Symmetric Paraconsistent Quantum Logic

Norihiro Kamide

Published May 1, 2021• 2 citations

Abstract

In this study, a new logic called symmetric paracon-sistent quantum logic (SPQL) is introduced as a dual monose-quent system, which is a restricted and indexed sequent calculus. The logic SPQL is regarded as an extension and generalization of Dalla Chiara and Giuntini's paraconsistent quantum logic (PQL). Theorems for syntactically and semantically embedding SPQL into PQL and vice versa are proved. Additionally, cut-elimination, symmetry-elimination, contraposition-elimination, and algebraic-completeness theorems are proved for SPOL.

DOI: 10.1109/ismvl51352.2021.00014

Related papers

An axiomatization of quantum computational Logic

Vladimir L. Vasyukov

One of the logical proposals that arise from quantum computation is the idea to use the quantum theoretical formalism to represent parallel reasoning. To this aim a quantum computation is considered by means of convenient unitary operators assuming arguments and values in particular sets of qubit systems. Isolating some important unitary operators that have a special role in quantum computation (logical gates or quregisters) we obtain an opportunity to yield the language of Quantum Computational Logic (QCL) (cf. [Cattaneo et al., 2003; Cattaneo et al., 2004; Dalla Chiara et al., 2004]). The basic concept of the semantics of this language is the notion of quantum computational realization such that the meaning associated to any sentence is a quregister. Unlike the semantic of a standard quantum logic QCL-conjunction and QCL-disjunction do not correspond to lattice operations since they are not generally idempotent. Moreover, in QCL the weak distributivity principle breaks down and both the excluded middle and the non contradiction principles are violated. Finally, the axiomatizability of QCL is still an open problem. In the paper an axiomatization of QCL is proposed construing it as a kind of so-called Goldblatt’s binary logic. Some metalogical theorems (paraconsistency and completeness) are proved.

Logical InvestigationsJan 1, 20230 citations

Quantum modal logic

Kenji Tokuo

Abstract A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are demonstrated. This framework is intended to serve as a basis for formalizing various modal logics over quantum logic, such as quantum alethic logic, quantum temporal logic, quantum epistemic logic, and quantum dynamic logic.

arXiv:2511.10188Logic Journal of IGPLNov 12, 20243 citations

Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions

João Inácio da Silva Filho

Paraconsistent logic (PL) is a non-classical logic that accepts contradiction in its foundations. It can be represented in the form of paraconsistent annotated logic with annotation of two values (PAL2v). When used to model quantum phenomena, PAL2v is called paraquantum logic (PQL). In this work, the concept of PQL is applied to create a logical model presenting the fundamental principles of quantum mechanics that support particle-wave theory. This study uses the well-known Young’s double-slit experiment, wherein quantum phenomena appear when a monochromatic light beam passes through the two slits. We focused on a reference point located between the slits, where we observed the effects of two types of wave interferences in a region defined as a two-wave region (2W region). Considering that the effect in this 2W region is very similar to that studied by Huygens, we adopt a paraquantum logical model in which a particle (or quantum) is represented by two wave functions. The two wave functions result in four State Vectors (Ket, Bra,,) in the PQL Lattice that express the symmetry and the entanglement of Quantum Mechanics. The constructed model adapts well to the quantum phenomena, is strongly consistent, and can be considered as an innovative form of analysis in the field of quantum mechanics. Based on this model, we present in two parts (Part I and Part II) the comparative analysis of values found in SchrÖdinger’s equation and probabilistic models of wave-particle theory using Bonferroni inequality.

Journal of Quantum Information ScienceJan 1, 20167 citations

Undulatory Theory with Paraconsistent Logic (Part II): Schrödinger Equation and Probability Representation

João Inácio da Silva Filho

Part I of this study proved that the Paraconsistent Annotated Logic using two values (PAL2v), known as the Paraquantum Logic (PQL), can represent the quantum by a model comprising two wave functions obtained from interference phenomena in the 2W (two-wave) region of Young’s experiment (double slit). With this model represented in one spatial dimension, we studied in the Lattice of the PQL, with their values represented in the set of complex numbers, the state vector of unitary module and its correspondence with the two wave functions. Based on these considerations, we applied the PQL model for obtaining Paraquantum logical states ψ related to energy levels, following the principles of the wave theory through SchrÖdinger’s equation. We also applied the probability theory and Bonferroni’s inequality for demonstrating that quantum wave functions, represented by evidence degrees, are probabilistic functions studied in the PQL Lattice, confirming that the final Paraquantum Logic Model is well suited to studies involving aspects of the wave-particle theory. This approach of quantum theory using Paraconsistent logic allows the interpretation of various phenomena of Quantum Mechanics, so it is quite promising for creating efficient models in the physical analysis and quantum computing processes.

Journal of Quantum Information ScienceJan 1, 20164 citations

Analogue of the quantum total probability rule from Paraconsistent bayesian probability theory

R. Salazar, Cristian Ignacio Jara-Figueroa, A. Delgado

We derive an analogue of the quantum total probability rule by constructing a probability theory based on paraconsistent logic. Bayesian probability theory is constructed upon classical logic and a desiderata, that is, a set of desired properties that the theory must obey. We construct a new probability theory following the desiderata of Bayesian probability theory but replacing the classical logic by paraconsistent logic. This class of logic has been conceived to handle eventual inconsistencies or contradictions among logical propositions without leading to the trivialisation of the theory. Within this Paraconsistent bayesian probability theory it is possible to deduce a new total probability rule which depends on the probabilities assigned to the inconsistencies. Certain assignments of values for these probabilities lead to expressions identical to those of Quantum mechanics, in particular to the quantum total probability rule obtained via symmetric informationally complete positive- operator valued measure.

arXiv:1408.5308Aug 22, 20140 citations

A substructural logic for quantum measurements

Daniel J. Lehmann

This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic structures include a binary relation that expresses orthogonality between elements and enables the definition of an operation that generalizes the projection operation in Hilbert spaces. The language has a unitary connective, a sort of negation, and two dual binary connectives that are neither commutative nor associative, sorts of conjunction and disjunction. This provides a logic for quantum measurements whose proof theory is aesthetically pleasing.

arXiv:2212.02833Dec 6, 20220 citations