Artículo

Quantum computational logic with mixed states

 Freytes Solari, Hector Carlos Icon; Domenech, Graciela Icon

Otros responsables

Fecha

01/2013

Editorial

Wiley VCH Verlag

Revista

Mathematical Logic Quarterly

Título del libro

Nombre del evento

Fecha del evento

Institución organizadora

ISSN

0942-5616

eISSN

ISBN

Idioma

Inglés

Tipo del evento

Clasificación temática

Matemática Aplicada

Palabras clave

Quantum Computational Logic , Mv-Algebras , Pmv-Algebras

Resumen

In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem.

URI

http://hdl.handle.net/11336/21242

Colecciones

Articulos(CCT - ROSARIO)
Articulos(IAFE)

Aprobación

Revisión

Complementado por

Referenciado por

Licencia Creative Commons

by-nc-sa
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
Archivos asociados
Miniatura

Archivos

CONICET_Digital_Nro.25445.pdf (325.8 KB)
 Principal CONICET_Digital_Nro.25445_A.pdf (979.93 KB)
Identificadores
URI: http://hdl.handle.net/11336/21242
DOI: http://dx.doi.org/10.1002/malq.201110030
URL: http://onlinelibrary.wiley.com/doi/10.1002/malq.201110030/abstract
Citación
Freytes Solari, Hector Carlos; Domenech, Graciela; Quantum computational logic with mixed states; Wiley VCH Verlag; Mathematical Logic Quarterly; 59; 1-2; 1-2013; 27-50
Altmétricas