Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators

TL;DR

This paper develops a natural revision theory for intuitionistic quantum logic, introducing static and dynamic revision operators that account for quantum contextuality and measurement, advancing belief revision in quantum reasoning.

Contribution

It introduces a novel natural revision framework with two operators for static and dynamic quantum reasoning, highlighting their differences and impact on consequence relations.

Findings

Two types of revision operators are defined for quantum reasoning.

The sequence of applying these operators affects the revision outcomes.

The framework aligns quantum logic with belief revision principles.

Abstract

The classical belief revision framework, as proposed by Alchourron, Gardenfors, and Makinson, involves the revision of a theory based on eight postulates. In this paper, we focus on the exploration of a revision theory grounded in quantum mechanics, referred to as the natural revision theory. There are two reasoning modes in quantum systems: static intuitionistic reasoning, which incorporates contextuality, and dynamic reasoning, which is achieved through projection measurement. We combine the advantages of two intuitionistic quantum logic frameworks, as proposed by D{\"o}ring and Coecke, respectively. Our goal is to establish a truth-value assignment for intuitionistic quantum logic that not only aligns with the inherent characteristics of quantum mechanics but also supports truth-value reasoning. The natural revision theory is then investigated based on this approach. We introduce two types of revision operators that correspond to the two reasoning modes in quantum systems: static and dynamic revision. Furthermore, we highlight the distinctions between these two operators. Shifting away from classical revision paradigms, we consider the revision of consequence relations in intuitionistic quantum logic. We demonstrate how, within the natural revision theory framework, both revision operators collectively influence the consequence relations. Notably, the outcomes of revision process are impacted by the sequence in which these interweaved operators are deployed.