相关论文: Disjunctive Quantum Logic in Dynamic Perspective

We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient…

We propose a novel way of investigating the universal properties of spin systems by coupling them to an ensemble of causal dynamically triangulated lattices, instead of studying them on a fixed regular or random lattice. Somewhat…

We illustrate an isomorphic representation of the observable algebra for quantum mechanics in terms of the functions on the projective Hilbert space, and its Hilbert space analog, with a noncommutative product in terms of explicit…

One of the main claims of the paper is that Dirac's calculus and broader theories of physics can be treated as theories written in the language of Continuous Logic. Establishing its true interpretation (model) is a model theory problem. The…

We connect partition logic with Generative Logic by translating finite partition logics into Prolog-based Simple Generative Logic Grammars. As a proof of concept, we use the five-atom V-logic L_{12} to generate a modular visual artifact,…

This article is the second in a series of two presenting the Scale Relativistic approach to non-differentiability in mechanics and its relation to quantum mechanics. Here, we show Schroedinger's equation to be a reformulation of Newton's…

In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and…

The paper defends the thesis that analysis of truth problem in the context of interpretations of quantum logic allows to reveal the prospect of elicitation of specifics of the relations between quantum mechanics and quantum logic in a…

Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences - like Alice knows that Bob does not understand that Pi is irrational - as…

The quantum mechanics of one degree of freedom exhibiting the exact conformal SL(2,R) symmetry is presented. The starting point is the classification of the unitary irreducible representations of the SL(2,R) group (or, to some extent, its…

A sharper formulation is presented for an interpretation of quantum mechanics advocated by author. As an essential element we put forward conservation laws concerning the ontological nature of a variable, and the uncertainties concerning…

We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schr\"odinger duality of finite-dimensional quantum theory. Proofs of formulas with positive logical polarity correspond to CPTP…

We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present…

Quantum mechanics is a theory that is as effective as it is counterintuitive. While quantum practices operate impeccably, they compel us to embrace enigmatic phenomena like the collapse of the state vector and non-locality, thereby pushing…

Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to…

We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.

In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an additional connective called ordered disjunction. Firstly,…

A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type…

Quantum logic (QL) is a non-classical logic for analyzing the propositions of quantum physics. Modal logic MB, which is a logic that handles the value of the inner product that appears in quantum mechanics, was constructed with the…

We give the logical description of a new kind of quantum measurement that is a reversible operation performed by an hypothetical insider observer, or, which is the same, a quantum measurement made in a quantum space background, like the…