Quantum computational logic with mixed states

FREYTES, HECTOR CARLOS;
2013-01-01

Abstract

In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincar´e irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem.
2013
MATHEMATICAL LOGIC QUARTERLY
59
1-2
27
50
23
WOS:000314919300007
2-s2.0-84873588409
Esperti anonimi
Freytes, HECTOR CARLOS; Domenech, G.
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
2
none
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie