Holistic Type Extension for Classical Logic via Toffoli Quantum Gate
Freytes, Hector;Giuntini, Roberto;Sergioli, Giuseppe
2019-01-01
Abstract
A holistic extension of classical propositional logic is introduced via Toffoli quantum gate. This extension is based on the framework of the so-called “quantum computation with mixed states”, where also irreversible transformations are taken into account. Formal aspects of this new logical system are detailed: in particular, the concepts of tautology and contradiction are investigated in this extension. These concepts turn out to receive substantial changes due to the non-separability of some quantum states; as an example, Werner states emerge as particular cases of “holistic" contradiction.File | Size | Format | |
---|---|---|---|
61. Holistic Type Extension Toffoli.pdf open access
Type: versione editoriale
Size 354.77 kB
Format Adobe PDF
|
354.77 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.