Quantum Logic in the Framework of Linear Logic

Annals of the Japan Association for Philosophy of Science
doi 10.4288/jafpos1956.9.35
Full Text
Abstract

Available in full text

Date
Authors
Publisher

The Japan Association for Philosophy of Science

Related search

On Multiplicative Linear Logic, Modality and Quantum Circuits

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2012English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Causality in Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Quantum Theory and Logic

Bulletin of the British Society for the History of Science
1950English

Classical Linear Logic of Implications

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2005English

Topos Theory and Quantum Logic

Foundations of Quantum Theory
2017English

Regular Linear-Time Temporal Logic

2010English

Non Decomposable Connectives of Linear Logic

Annals of Pure and Applied Logic
Logic
2019English

Quantum Logic and Related Systems

Annals of the Japan Association for Philosophy of Science
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy