Quantum Logic in the Framework of Linear Logic

スポンサーリンク

概要

• 論文の詳細を見る

• The purpose of this paper is to present a system of quantum logic within the framework of the linear logic that is proposed by J.-Y. Girard and modified by A.S. Troelstra. Part I treats the construction of the system following the lines of my paper on quantum logic and in Part II the system is considered from a semantic point of view. I discuss only the part of propositional logic ; thus the linear logic here concerned consists of the following axiom and rules. (The notations are changed as it will be noted.)

• 科学基礎論学会の論文
• 1996-03-05

著者

• Oide Akira

  Faculy Of Letters Soka University

関連論文

• Quantum Logic in the Framework of Linear Logic

スポンサーリンク