El significado de una sentencia elemental en la lógica asociada a la computación cuántica está
representado por la cantidad de información cuántica codificada en una colección de qbits, el
equivalente cuántico de los bits clásicos (0, 1 o F, V), o de qmixe

Domenech, G.

Freytes, H.

Spanish

Fil: Domenech, G. Universidad de Buenos Aires; Argentina.Fil: Domenech, G. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Astronomía y Física del Espacio; Argentina.Fil: Freytes, H. Universidad Nacional de Rosario. Facultad de Humanidades y Arte. Escuela de Filosofía; Argentina.El significado de una sentencia elemental en la lógica asociada a la computación cuántica está representado por la cantidad de información cuántica codificada en una colección de qbits, el equivalente cuántico de los bits clásicos (0, 1 o F, V), o de qmixesFil: Domenech, G. Universidad de Buenos Aires; Argentina.Fil: Domenech, G. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Astronomía y Física del Espacio; Argentina.Fil: Freytes, H. Universidad Nacional de Rosario. Facultad de Humanidades y Arte. Escuela de Filosofía; Argentina

Repositorio Digital de la Universidad Nacional de Córdoba

 EPISTEMOLOGÍA E HISTORIA DE LA CIENCIA SELECCIÓN DE TRABAJOS DE LAS XVI JORNADAS VOLUMEN 12 (2006) José Ahumada Marzio Pantalone Víctor Rodríguez Editores     ÁREA LOGICO-EPISTEMOLÓGICA DE LA ESCUELA DE F ILOSOFÍA CENTRO DE INVESTIGACIONES DE LA FACULTAD DE F ILOSOFÍA Y HUMANIDADES UNIVERSIDAD NACIONAL DE CÓRDOBA   Esta obra está bajo una Licencia Creative Commons atribución NoComercial -SinDerivadas 2.5 Argentina    Lógicas multivaluadas y la axiomatización de la lógica computacional cuántica G, Domenech' y H. Freytes' Características de la lógica asociada a la computación cuántica El significado de una sentencia elemental en la lógica asociada a la computación cuántica está representado por la cantidad de información cuántica codificada en una colección de qbits, el equivalente cuántico de los bits clásicos (0, 1 o F, V), o de qmixes .. La conjunción y la disyunción de la información contenida en los q-registros tienen características diferentes de sus homónimas no sólo en la lógica clásica sino también en la lógica cuántica estándar. Por otra parte, .. la articulación de esas sentencias admite otros conectivos que reflejan un comportamiento cuántico genumo asociado al procesamientode la información -en una computadora cuántica -en particular la aparición de estados tipo gato de Schródinger de los qbits- que no admiten un paralelo ni en la lógica clásica ni en la cuántica. Nuestro planteo para la axiomatización de esta lógica está basado en el razonamiento aproximado en el sentido de la lógica difusa. Establecemos una axiomatización que permite obtener un teorema de completitud tipo Pavelka [Ha 1998, Pav 1979] en un cálculo infinito-valuado de Lukasiewicz enriquecido. Dicho cálculo refleja el conjunto minimo de propiedades básicas asociadas a los esquemas computacionales cuánticos. Más concretamente, los modelos naturales resultan ser las PMV -estructuras desarrolladas en [MONT 2000, MR 2004] . La semántica natural para el cálculo de la lógica asociada a la computación cuántica está "ª~'!<~~ ~lll!Ilª asig¡¡ªción, <!~ pmbab.ilida_d sobre el intervalo real [O, 1] con las Dp.eraciones de. suma truncada, negación de Lukasiewicz y el producto habituaL La idea de consecuencia lógica <1> f<p está dada a partir de una desigualdad de probabilidades p( <1>) S p( <¡> ), siendo p la probabilidad asignada a una proposición acerca del sistema Vía la regla de Born de la mecánica cuántica. Desde el punto de vista sintáctico, dicha consecuencia es tOlnada como que la fórmula <jl~<¡> es una tautología en (0, 1], donde la ~ es la implicación de Lukasiewicz de dicho intervalo (CMD 2000]. Como hemos mencionado anteriormente, se agregan aquí dos nuevos conectivos .. Ellos son ~ , un conectivo unarío cuya interpretació.n natural está relacionada con la aparición de estados gato de Schrodinger de los qbits, y un conectivo constante Y:., que representa un estado privilegiado del sistema. La raíz del problema de la axiomatización es que ~ no resulta ser un conectivo funcional a nivel de las fórmulas atómicas. Más precisamente, dada una valuación v, la igualdad v( ~ <¡>) = ~ v( <¡>) no se satisface en general. ' IAFE- CONICET t Facultad de Humanidades y Arte- Escuela de Filosofia- UNR Epistemología e Historia de la Ciencia, Volumen 12 (2006) -214-El cálculo proposicional asociado a la computación cuántica El lenguaje proposicional L asocíado a la computación cuántica- vale decir, la noción de fórmula- se construye de manera usual a partir del siguiente alfabeto: (P, ffi, 8, •, ~. v, A, """"~• ~, S,_(,)) donde P es el conjunto de letras proposicionales, EB, 0, •, ~. v, A, ~ son los conectivos del cálculo mfiníto valuado de Lukasiewicz ennquecido con el producto, r, es el conectivo ya mencionado y S es un conjunto de conectivos constantes dado por el álgebra densa generada por Yz en el intervalo real [0, 1].. Esta álgebra densa dará los axiomas de contabilidad en las extensiones de Pavelka. Se considera además un conectivo de equivalencia "=", dado como abreviación, de la siguiente manera: q> = ~siysólosr (q>~ ~)0(~~q>) El sistema que axiomatiza la lógica de la computación cuántica que hemos desarrollado [DF 2005] está dado por el siguiente conJunto de axiomas: Axiomas de Lukasiewicz Wl a~(ll~a) w2 (a~ p) ~ccp ~y) ...... (a~y)) W3 ba~~P)~(p~a) W4 ((a~ p) ~ p) ~ (( p--> a)~ a) Axiomas de eguivalencia El a 0 P = ~ e~ a EB ~ Pl E2 a ~ P = ~ ( a 0 ~ Pl E3 ~a = a ~ .L (.L representa el O en S) E4 aAP=a0(a~p) ES avP = (a~f3)~f3 E6 ~ .L = T (T representa el 1 en S) .Axiomas de producto PI a • f3 ~ f3 • a P2 T•a=a P3 (a • [3)--> f3 P4 (a • [3) • y =a • ([3 • y) P5 a•(f30~y) = (a•f3)0~(a•y) AxiOmas para S (de contabilidad) para cada r, sE S SI r0S=Y0S S2 r~s=r-+s S3 r•s=r•s -215-Axiomas de r, Ql r, r, a =~a Q2 r-. e~ a)=~ F. a Q3 si • e.s un c_onectivo binario, r, (a • 13) =Y, Q4 r,-;,y, Q5 { ( ( Y. • a) Ell (Y. • r, a ) ) -4 s ;;,; (!+ .fi) 1 4 .fi } La única regla de deducción es el modus ponens MP. La noción de sistema deductivo y teoría se defme de la manera usual. Dada rJ una teoría y a una fórmula, rJ ~ a indica que a es deducible a partir de rJ o, equivalentemente, que a es un teorema de la teoría. Semántica para la lógica computacional cuántica Como hemos mencionado, el modelo natural del cálculo asociado a L está dado a paríir de valuaciones en el intervalo [0, 1]. Por razones inherentes a la teoría cuántica no es posible considerar el conjunto completo .de todas las posibles valuaciones de L al [0, 1]. Las valuaciones admisibles se construyen de la siguiente forma: sea el círculo unitario C={(r"r2): r12+ rl::>l} se defme una noción de modelo como una función e : L -4 C tal que a cada fórmula a le asigna un par e(a) ={ r¡, rt }E C y la valuación alfO, 1] se define como ep(a) = (1 - r2) /2 ep( r, a)= (1- r1) /2 Vale la pena notar que, en este tipo de valuaciones, r, resulta. ser no funcional. Esta no funcionalidad se traduce en que la información presente en a no es recuperable luego de la aplicación de r, .. Una fórmula a es una tautología si y sólo si para todo modelo e, ep(a) = l. Esto se notará como F a .. Por otro lado, decimos que a es consecuencia de la teoría ']" (y lo indicarnos como ']" F a) si y sólo si para todo modelo e y para toda fórmula 13 E '1í resulta que sí ep(l3) = 1 entonces ep(a) =l. Completitud en el sentido de Pavelka En el estudio de las lógicas tipo Pavelka, se introducen constantes de verdad en el lenguaje con el objeto de definir un grado de prueba o demostrabllzdad de una fórmula a respecto de una teoría rJ en el sentido de la lógica difusa. En nuestro caso, dicho grado de prueba viene dado a partír del siguiente supremo: • 2!6. 'k laj 'T =V { rE S : 'I f- ; ~ a } Por otro lado, también se define un grado semántico de una teoría 'I respecto de una fórmula a, lo que representa la relevancia de la teoría respecto de la fórmula. Esto es el ínfuno de las valuaciones que a puede tomar cuando esas valuaciones asignan el valor 1 a las fórmulas de 'I Un teorema de completitud de Pavelka se da cuando los grados de prueba y semántico coinciden. En el caso de la lógica asociada a la computactón cuántica hemos establecido dicho resultado, es decir Conclusiones El soporte lógiCo asociado con el tratamiento cuántico de la información resulta ser un caso particular de la lógica difusa, más precisamente, un tipo de lógica infmito valuada. Este marco lógico permite usar el razonamiento aproximado como herramienta para la caracterizactón de la información cuántica y su flujo. Referencias [CDCGL 2004] G: Cattaneo; M. L.. Dalla Chiara, R Giuntím, R Leponm (2004)~ An unsharp logic from quantum computation, Intemat.Ional Joumal ofTheoretical Physcis 43, 1803-1&17 [CDM ZOOO] R. Cignc;>li, M l. D'Ottaviano and D Mundici (2000): Algebraic Foundations of Many-valuec! Reasoning, Kluwer, Dordrecht [CDF 2004] A Costa, G. Domenech, H. Freytes (2004)~ Perspectivas en la axiomatización de la lógica computactona/ cuán_tica, enviado para el tomo 11 de Epistemología e Historia de la Ciencia. [DCGG 2004] M.. L. Dalla Chiara, R. Giuntini, R. Greechie (2004): Reasoning in quantum theory, Kluwer, P¡ordrecht. [DF 2005] G Domenech, H F~ytes (2005): Fuzzy propositionallogic associated with quantum computationa/ gates, IJ.ltemationa1 Journal ofTheoretical Physics 45,228-261 lHa 1998] P Hájek (1998): Metamathematics offuzzylogtc, Kluwer, Dordrecht-Boston-London [MONTJ F Montagna (2000): An algebraic approach to proposilional fozzy logic, Journa1 of Logtc, Language and Informatton 9, 91-124 [MR 2004] D. Mundict, B. Rtecan (2004)~ Probabtlity on MV-algebras, en Handbook of Measure Theory, E. Pap (editor) North Holland, Amsterdam [Pav 1979~] J. Pave1ka(l919): Onfozzy. /ogic 1, JI, Ill, Zellschr f Math. Logík und Grundl. der Math 25, 45-52, 119· 134,447-464 • 217. 

Lógicas multivaluadas y la axiomatización de la lógica computacional cuántica

Repositorio Digital de la UNC

https://rdu.unc.edu.ar/bitstream/handle/11086/3005/30l%c3%b3gicas%20multievaluadas.pdf?sequence=1&isAllowed=y

Lógicas multivaluadas y la axiomatización de la lógica computacional cuántica

Abstract

Similar works

Full text

Available Versions

Repositorio Digital de la Universidad Nacional de Córdoba

Repositorio Digital de la UNC