Displaying similar documents to “Quantum coherent spaces and linear logic”

Quantum coherent spaces and linear logic

Stefano Baratella (2011)

RAIRO - Theoretical Informatics and Applications

Similarity:

Quantum Coherent Spaces were introduced by Girard as a quantum framework where to interpret the exponential-free fragment of Linear Logic. Aim of this paper is to extend Girard's interpretation to a subsystem of linear logic with bounded exponentials. We provide deduction rules for the bounded exponentials and, correspondingly, we introduce the novel notion of bounded exponentials of Quantum Coherent Spaces. We show that the latter provide a categorical model of our system. In order...

Book Reviews

Anatolij Dvurečenskij (2005)

Mathematica Slovaca

Similarity:

Labeled Sequent Calculus for Orthologic

Tomoaki Kawano (2018)

Bulletin of the Section of Logic

Similarity:

Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades. Although there are many studies on sequent calculus forOL, these sequent calculi have some problems. In particular, they do not includeimplication connective and they are mostly incompatible with the cut-eliminationtheorem. In this...