skip to Main Content
Un sitio de la Universidad Nacional Arturo Jauretche | Centro de Política Educativa | Unidad de Gestión de la Investigación

Tipo de Proyecto: UNAJ Investiga 2017 – Mod. 1 Tipo B

Estado: Finalizado

Director DE RONDE, CHRISTIAN

Instituto: Instituto de Ingeniería y Agricultura

Resumen En este proyecto, en base a los resultados alcanzados, nos interesa profundizar las líneas de investigación lógica, categorial y computacional. Desde una perspectiva lógica buscaremos desarrollar formalizaciones lógicas de las superposiciones basadas en la lógica cuántica modal y las lógicas paraconsistentes. Desde una perspectiva matemática, y considerando el enfoque categorial logos a la mecánica cuántica propuesto en (de Ronde & Massri, 2017), buscaremos avanzar en una formalización categórica relacional de las superposiciones considerando las categorías de sólo flechas. Desde una perspectiva computacional, buscaremos extender el isomorfismo de Curry-Howard entre las pruebas lógicas y los programas tipados, utilizando la categoría logos como guía para desarrollar una extensión cuántica del cálculo lambda.

Integrantes: CUDA, EMILCE FABIANA; MICHALINA, CLAUDIO ANTONIO; CARESANI, DANIEL DARIO

Miembro: MASSRI, CESAR; DÍAZ CARO, ALEJANDRO;  FERNÁNDEZ MOUJÁN, RAIMUNDO;  ARENHART, JONAS; MALHERBE, OCTAVIO; SZNAJDERHAUS, NAHUEL;  FREYTES, HECTOR;  SERGIOLI, GIUSEPPE

Back To Top