IAM   02674
INSTITUTO ARGENTINO DE MATEMATICA ALBERTO CALDERON
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
La lógica débil en la computación cuantica
Autor/es:
DOMENECH G., FREYTES H.
Lugar:
Montevideo Uruguay
Reunión:
Congreso; VI encuentro de Filosofía e Historia de la Ciencia; 2008
Institución organizadora:
AFHIC (Asociación de Filosofía e Historia de la Ciencia del Cono Sur)
Resumen:
El inter´es suscitado en la computaci´on cu´antica dio lugar al inicio de investigaciones acerca de la l´ogica y fundamentos. Abordamos aqu´ý la axiomatizaci´on de la l´ogica computacional qu´antica bas´andonos en el razonamiento aproximado en el sentido de la l´ogica difusa y obtenemos un teorema de completud tipo Pavelka en un c´alculo infinito valuado de Lukasiewicz enriquecido. Dicho c´alculo refleja el conjunto m´ýnimo de propiedades b´asicas asociadas a los esquemas computacionales qu´anticos. Ms concretamente, los modelos naturales resultan ser PMV-algebras.