vix.ing · top · new · best · stats · spec

Holistic type extension for classical propositional logic in quantum computation

2019/04/09 by Héctor Freytes, Roberto Giuntini, Freytes, H. +3
Computer Science · Physics and Astronomy · #Advanced Algebra and Logic #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph)

paper · pdf · doi:10.48550/arxiv.1904.04561

openalex publication_date 2019/04/09 · openalex created_date 2019/04/25 · openalex updated_date 2026/07/28

Abstract

A holistic extension of classical propositional logic is introduced in the framework of quantum computation with mixed states. The concepts of tautology and contradiction are investigated in this extensions. A special family of quantum states are investigated as particular cases of "holistic" contradiction.

Citations

Related