Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/interpreting-quantum-parallelism-by-sequents-ZBNBmEEggU
References (19)
-
M. Chiara, R. Giuntini, G. Francia (2006)
Holistic quantum computational semantics and Gestalt-thinking, 844
-
K. Svozil (1998)
Quantum Logic -
A. Simpson (2005)
Constructive Set Theories and their Category-theoretic Models -
(2008)
Logic, computation and quantum theories of mind (italian -
Giulia Battilotti, C. Faggian, R. Giuntini (2007)
Quantum Logic and the Cube of Logics -
G. Battilotti, C. Faggian (2002)
Handbook of Philosophical Logic, new edition -
M. Chiara, R. Giuntini, R. Leporini (2003)
Quantum Computational Logics. A SurveyarXiv: Quantum Physics
-
S. Gudder (2003)
Quantum Computational LogicInternational Journal of Theoretical Physics, 42
-
(1987)
Linear Logic, Theoretical Computer -
M.E. Maietti, G. Sambin (2005)
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics -
J. Girard (1987)
Linear LogicTheor. Comput. Sci., 50
-
M. Nivat (1988)
Fiftieth volume of theoretical computer scienceTheoretical Computer Science, 50
-
M. Maietti, G. Sambin (2005)
Toward a minimalistic foundation for constructive mathematics -
V. Hendricks, J. Malinowski (2003)
Trends in logic : 50 years of Studia Logica -
R. Feynman (1999)
Simulating physics with computersInternational Journal of Theoretical Physics, 21
-
M. Chiara, R. Giuntini, R. Leporini (2007)
Compositional and holistic quantum computational semanticsNatural Computing, 6
-
G. Sambin, Giulia Battilotti, C. Faggian (2000)
Basic logic: reflection, symmetry, visibilityJournal of Symbolic Logic, 65
-
(2000)
Basic logic: reflection, symmetry, visibility, The Journal of Symbolic Logic -
M. Chiara, R. Giuntini, R. Greechie (2004)
Quantum computational logic
- Publisher
- Springer Journals
- Copyright
- Copyright © 2009 by Springer Science+Business Media, LLC
- Subject
- Physics; Theoretical, Mathematical and Computational Physics; Elementary Particles, Quantum Field Theory; Quantum Physics; Physics, general
- ISSN
- 0020-7748
- eISSN
- 1572-9575
- DOI
- 10.1007/s10773-009-0099-6
- Publisher site
- See Article on Publisher Site
Abstract
We introduce an interpretation of quantum superposition in predicative sequent calculus, in the framework of basic logic. Then we introduce a new predicative connective for the entanglement. Our aim is to represent quantum parallelism in terms of logical proofs.
Journal
International Journal of Theoretical Physics – Springer Journals
Published: Jul 31, 2009