Hoja de vida

Categoría Investigador Junior (IJ) con vigencia hasta la publicación de los resultados de la siguiente convocatoria
Nombre Juan Carlos Agudelo Agudelo
Nombre en citaciones AGUDELO AGUDELO, JUAN CARLOS
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Doctorado UNIVERSIDADE ESTADUAL DE CAMPINAS
    Filosofia
    Marzode2006 - Diciembrede 2009
    Computação Paraconsistente: uma Abordagem Lógica à Computação Quântica
  •  
  • Maestría/Magister UNIVERSIDADE ESTADUAL DE CAMPINAS
    Filosofia
    Enerode2004 - de 2006
    Da Computação Paraconsistente à Computação Quântica
  •  
  • Maestría/Magister UNIVERSIDAD EAFIT
    Maestría En Ingeniería Informática
    Enerode1999 - de 2001
    Computabilidad de las Redes Neuronales Recurrentes Análogas
  •  
  • Especialización UNIVERSIDAD EAFIT
    Especialización En Lógica y Filosofía
    Enerode2001 - de
  •  
  • Pregrado/Universitario UNIVERSIDAD EAFIT
    Ingeniería de Sistemas
    Enerode1992 - de 1997
    Herramienta para diseño de bases de datos distribuidas

    Experiencia profesional

  •  
  • UNIVERSIDAD DE ANTIOQUIA
    Dedicación:  horas Semanales Mayo de 2010 Enero de

  •  
  • UNIVERSIDAD EAFIT
    Dedicación: 40 horas Semanales Agosto de 1998 Abril de 2004

    Actividades de administración
    -  Otra actividad técnico-científica relevante - Cargo: Otra actividad técnico-científica relevante Agosto de 1998 Diciembre de 2003
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Matemáticas especiales I,  Febrero 2000
    -   Pregrado - Nombre del curso:  Matemáticas especiales III,  Febrero 2000
    -   Pregrado - Nombre del curso:  Matemáticas especiales II,  Febrero 2000
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  IETool (Herramienta para educación virtual) Enero 2000 Junio 2000

    Áreas de actuación

  •  Ciencias Naturales -- Matemática -- Matemáticas Puras
  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Idiomas

      Habla Escribe Lee Entiende
  •  Portugués
  • Bueno Bueno Bueno Bueno
  •  Inglés
  • Aceptable Aceptable Bueno Aceptable
  •  Español
  • Bueno Bueno Bueno Bueno

    Líneas de investigación

  •  Computación Cuántica, Activa:Si
  •  Computabilidad, Activa:Si
  •  Complejidad Algorítmica, Activa:Si
  •  Lenguajes de programación, Activa:Si
  •  Lógica, Activa:Si
  •  Informática Educativa, Activa:No
  • Reconocimientos

  • Mención de honor por mejor promedio crédito de la promoción,UNIVERSIDAD EAFIT - de 1997
  •  
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI

    Trabajos dirigidos/tutorías

  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN CARLOS AGUDELO AGUDELO, Método para resolver sistemas de ecuaciones polinómicas sobre campos finitos y su aplicación a las lógicas finitamente multivaluadas  UNIVERSIDAD DE ANTIOQUIA  Estado: Tesis concluida  Maestría en Matemáticas,  2013. Dirigió como: Tutor principal,   Persona(s) orientada(s):  Carlos Andrés Agudelo González  Tutor(es)/Cotutor(es): HEBERT MONTEGRANARIO RIASCOS , JUAN CARLOS AGUDELO AGUDELO,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN CARLOS AGUDELO AGUDELO, Resolución Algebraica de Teoremas  UNIVERSIDAD DE ANTIOQUIA  Estado: Tesis concluida  Matemáticas,  2012. Dirigió como: Tutor principal,   Persona(s) orientada(s):  Óscar Eduardo García Quintero  Tutor(es)/Cotutor(es): JUAN CARLOS AGUDELO AGUDELO,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN CARLOS AGUDELO AGUDELO, Consistencia de la Aritmética: una Demostración desde la Teoría de Tipos  Universidad De Antioquia - Sede Carmen De Viboral  Estado: Tesis concluida  Matemáticas,  2019. Dirigió como: Tutor principal,   Persona(s) orientada(s):  Andrés Felipe Velásquez Trujillo Tutor(es)/Cotutor(es): JUAN CARLOS AGUDELO AGUDELO , JUAN CARLOS AGUDELO AGUDELO,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN CARLOS AGUDELO AGUDELO, La paradoja de Girard  Universidad De Antioquia - Sede Carmen De Viboral  Estado: Tesis concluida  Matemáticas,  2019. Dirigió como: Tutor principal,   Persona(s) orientada(s):  Daniela Cartagena Cartagena Tutor(es)/Cotutor(es): JUAN CARLOS AGUDELO AGUDELO,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN CARLOS AGUDELO AGUDELO, Semántica polinomial para lógicas modales normales  UNIVERSIDAD DE ANTIOQUIA  Estado: Tesis concluida  Matemáticas,  2018. Dirigió como: Tutor principal,   Persona(s) orientada(s):  Santiago Echeverri Valencia  Tutor(es)/Cotutor(es): JUAN CARLOS AGUDELO AGUDELO,
    Areas:
    Ciencias Naturales -- Matemática -- Matemáticas Puras,
     

    Jurado en comités de evaluación

  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • JUAN CARLOS AGUDELO AGUDELO, Titulo: Cardinal invariants associated with ideals between measure zero and strong measure zero Tipo de trabajo presentado: Trabajo de grado/tesis en:  UNIVERSIDAD NACIONAL DE COLOMBIA  programa académico Maestría en Matemáticas  Nombre del orientado: Miguel Antonio Cardona Montoya  
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • JUAN CARLOS AGUDELO AGUDELO, Titulo: Una formalización del sistema de los números reales Tipo de trabajo presentado: Proyecto de grado/Tesis en:  UNIVERSIDAD EAFIT  programa académico MAESTRÍA MATEMÁTICAS APLICADAS  Nombre del orientado: Jorge Ohel Acevedo Acosta y Jose Luis Echeverri Jurado  
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Maestría
  • JUAN CARLOS AGUDELO AGUDELO, Titulo: Reconstructing Propositional Proofs in Type Theory Tipo de trabajo presentado: Trabajo de grado/tesis en:  UNIVERSIDAD EAFIT  programa académico MAESTRÍA MATEMÁTICAS APLICADAS  Nombre del orientado: Jonathan Prieto Cubides  

    Eventos científicos

    1 Nombre del evento: Encuentro Nacional de Lógicas Multi-valuadas y Teoría de la Representación  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2015-01-30 00:00:00.0,  2015-01-30 00:00:00.0   en PEREIRA   - Universidad Tecnológica de Pereira  
    Productos asociados
    • Nombre del producto:Semántica polinomial para lógicas multivaluadas Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución: Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente magistral
    2 Nombre del evento: Séptimo Encuentro Regional de Matemáticas  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2015-12-15 00:00:00.0,  2015-12-17 00:00:00.0   en MEDELLÍN   - Universidad de Antioquia  
    Productos asociados
    • Nombre del producto:Semántica polinómica para lógicas no clásicas Tipo de producto:Producción técnica - Presentación de trabajo - Conferencia
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE ANTIOQUIA Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente magistral
    3 Nombre del evento: 16th Latin American Symposium on Mathematical Logic  Tipo de evento: Simposio  Ámbito: Internacional  Realizado el:2014-07-28 00:00:00.0,  2014-08-01 00:00:00.0   en Buenos Aires   -  
    Productos asociados
    • Nombre del producto:From dyadic semantics to translations into classical logic Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE BUENOS AIRES Tipo de vinculaciónGestionadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    4 Nombre del evento: 4th World Congress and School on Universal Logic - UNILOG'2013  Tipo de evento: Congreso  Ámbito:   Realizado el:2013-04-01 00:00:00.0,    en ARMENIA   -  
    Productos asociados
    • Nombre del producto:Algebraic Resolution Methods for Propositional Logics Characterized by Boolean Algebras with Operators Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    5 Nombre del evento: 2nd Indian International Conference on Artificial Intelligence (IICAI-05)  Tipo de evento: Otro  Ámbito:   Realizado el:2005-01-01 00:00:00.0,    en Pune - India   -  
    Productos asociados
    • Nombre del producto:Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    6 Nombre del evento: CLE 30 / XV EBL / XIV SLALM  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2008-01-01 00:00:00.0,    en Campinas   - Paratí, Rio de Janeiro, Brasil  
    Productos asociados
    • Nombre del producto:Paraconsistency and quantum computation Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e História de la Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    7 Nombre del evento: Science, Truth and Consistency - CLE/AIPS Event  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2009-08-01 00:00:00.0,    en Campinas   -  
    Productos asociados
    • Nombre del producto:Paraconsistent Computation and its Quantum Character Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e História de la Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    8 Nombre del evento: XIII Encontro Nacional de Filosofia da ANPOF  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2008-10-01 00:00:00.0,    en Canela   -  
    Productos asociados
    • Nombre del producto:A tese de Church-Turing como principio físico Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Universidad Caxias do Soul Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    9 Nombre del evento: Unconventional Computation 2007  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2007-08-13 00:00:00.0,  2007-08-17 00:00:00.0   en Kingston   -  
    Productos asociados
    • Nombre del producto:Unconventional Models of Computation Through Non-standard Logic Circuits Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Queen's University Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    10 Nombre del evento: XIV Encontro Brasileiro de Lógica (EBL)  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:2006-01-01 00:00:00.0,    en Itatiaia   -  
    Instituciones asociadas
    • Nombre de la institución:Centro de Lógica, Epistemología e História de la Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    11 Nombre del evento: VIII encuentro de la ERM  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2001-01-01 00:00:00.0,    en PASTO   - Universidad de Nariño  
    Productos asociados
    • Nombre del producto:Computabilidad de las redes neuronales recurrentes análogas con pesos reales Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Escuela reginal de matemáticas ERM Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    12 Nombre del evento: XIV Encontro Brasileiro de Lógica  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2006-01-01 00:00:00.0,    en Itatiaia - Rio de Janeiro - Brasil   - Hotel Simon - Itatiaia  
    Productos asociados
    • Nombre del producto:Máquinas de Turing Paraconsistentes Não Adjuntivas e a Simulação de Algoritmos Quânticos Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Sociedade Brasileira de Lógica Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    13 Nombre del evento: XII Encontro Nacional de Filosofia da ANPOF  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2006-01-01 00:00:00.0,    en Salvador - Bahia - Brasil   - Hotel Othon Palace  
    Productos asociados
    • Nombre del producto:Circuitos Lógicos via Cálculo de Anéis de Polinômios Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:ANPOF (Associação Nacional de Pós-graduação em Filosofia) Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    14 Nombre del evento: Workshop Semantics and Meaning  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2005-01-01 00:00:00.0,    en Campinas - São Paulo - Brasil   - Universidad Estadual de Campinas  
    Productos asociados
    • Nombre del producto:Lógicas da mecânica quântica Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Resumen
    Instituciones asociadas
    • Nombre de la institución:Centro de Lògica, Epistemologia e História da Ciéncia Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    15 Nombre del evento: II encuentro regional de lógica y computación  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2002-05-20 00:00:00.0,  2002-05-24 00:00:00.0   en CALI   - Universidad del Valle  
    Productos asociados
    • Nombre del producto:Aproximación semántica a una lógica cuántica Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente
    16 Nombre del evento: 6th World Congress and School on Universal Logic  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2018-06-21 00:00:00.0,  2018-06-26 00:00:00.0   en Vichy   - Campus Albert Londres  
    Productos asociados
    • Nombre del producto:Polynomial Semantics for Normal Modal Logics Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:No Aplica Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN CARLOS AGUDELO AGUDELO Rol en el evento: Ponente

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, MANUEL H. SIERRA ARISTIZABAL, "Restricted normal modal logics and levelled possible worlds semantics" . En: Inglaterra 
    Journal of Logic and Computation  ISSN: 0955-792X  ed: Oxford University Press (UK)
    v.24 fasc.4 p.687 - 704 ,2014,  DOI: 
    Palabras:
    Lógica Modal, Lógica Epistémica, Problema de la Omnisciencia Lógica,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, ANDRES SICARD RAMIREZ, "Máquinas de Turing paraconsistentes: una posible definición" . En: Colombia 
    Matematicas: Enseñanza Universitaria  ISSN: 0120-6788  ed: Litocencoa
    v.XII fasc.N.2 (Dic.) p.37 - 51 ,2004,  DOI: 
    Palabras:
    Máquinas de Turing, Lógica paraconsistente, computabilidad,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Unconventional Models of Computation Through Non-standard Logic Circuits" . En: Canadá 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer-Verlag London Ltd.
    v.4618 fasc.1 p.29 - 40 ,2007,  DOI: 
    Palabras:
    computabilidad, Computación cuántica, Lógica paraconsistente, Circuitos lógicos,
    Sectores:
    Otros sectores - Informática,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Polynomial ring calculus for modalities" . En: Reino Unido 
    Journal of Logic and Computation  ISSN: 1465-363X  ed: Oxford University Press (UK)
    v.27 fasc.6 p.1853 - 1870 ,2017,  DOI: doi:10.1093/logcom/exv069
    Palabras:
    Lógica Modal, Lógica, Cálculo de anillo de polinómios,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Polynomial Ring Calculus for Modal Logics: a new Semantics and Proof Method for Modalities" . En: Estados Unidos 
    Review of Symbolic Logic  ISSN: 1755-0203  ed: Cambridge University Press
    v.4 fasc.1 p.150 - 170 ,2011,  DOI: 
    Palabras:
    Lógica Modal,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, "Translating Non-classical Logics into Classical Logic by Using Hidden Variables" . En: Suiza 
    Logica Universalis  ISSN: 1661-8300  ed: Birkhäuser Verlag
    v.11 fasc.2 p.205 - 224 ,2017,  DOI: 10.1007/s11787-017-0168-1
    Palabras:
    Lógica, Lógica multivaluada, Lógica paraconsistente,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, WALTER CARNIELLI, "Paraconsistent Machines and their Relation to Quantum Computing" . En: Inglaterra 
    Journal of Logic and Computation  ISSN: 0955-792X  ed: Oxford University Press (UK)
    v.20 fasc.2 p.573 - 595 ,2010,  DOI: 
    Palabras:
    Máquinas de Turing paraconsistentes, Lógica paraconsistente, Computación cuántica,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, CARLOS ANDRES AGUDELO GONZALEZ, OSCAR EDUARDO GARCIA QUINTERO, "On polynomial semantics for propositional logics" . En: Reino Unido 
    Journal of Applied Non-Classical Logics  ISSN: 1958-5780  ed: Taylor and Francis Ltd.
    v.26 fasc.2 p.103 - 125 ,2016,  DOI: 10.1080/11663081.2016.1198529
    Palabras:
    Semántica polinomial, Lógica multivaluada, Lógica paraconsistente, Polinomios sobre campos finitos, Bases de Gröbner,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN CARLOS AGUDELO AGUDELO, SANTIAGO ECHEVERRI VALENCIA, "Polynomial semantics for modal logics" . En: Reino Unido 
    Journal of Applied Non-Classical Logics  ISSN: 1166-3081  ed: Taylor and Francis Ltd.
    v.29 fasc.4 p.430 - 449 ,2019,  DOI: 10.1080/11663081.2019.1676004
    Palabras:
    Lógica, Lógica Modal, Bases de Gröbner,

    Proyectos

    Tipo de proyecto: Investigación y desarrollo 
    Resolución Algebraica de Teoremas
    Inicio: Noviembre  2012 Fin proyectado: Abril  2014 Fin: Noviembre  2015 Duración 18
    Resumen

    El proyecto tiene como objetivo proponer un marco teórico de "resolución algebraica" de teoremas para algunas lógicas proposicionales (clásica, multivaluadas y paraconsistentes) y para un fragmento (mayor al monádico) de la lógica de primer orden clásica, que sirva como fundamentación para la programación lógica; de manera alternativa al método de resolución de Robinson.

    Tipo de proyecto: Investigación y desarrollo 
    Resolución Algebraica de Teoremas
    Inicio: Noviembre  2012 Fin: Noviembre  2015 Duración 
    Resumen

    El objetivo del proyecto es proponer un marco teórico de `resolución algebraica' de teoremas, para algunas lógicas proposicionales (clásica, multivaluadas y paraconsistentes) y para un fragmento (mayor al monádico) de la lógica de primer orden clásica, que sirva como fundamentación para la programación lógica; de manera alternativa al método de resolución de Robinson.

    Tipo de proyecto: Investigación y desarrollo 
    Semántica de Mundos Posibles Encajados
    Inicio: Enero  2011 Fin: Diciembre  2011 Duración 
    Resumen

    La semántica de mundos posibles encajados, se construye a partir de la semántica de mundos posibles usual para el sistema multimodal Km, haciendo las siguientes modificaciones: a cada mundo posible M se le asocia una jerarquía de mundos encajados M1, M2, M3, ¿, donde el mundo Mk se encuentra asociado al conjunto Lk, el cual consta de las fórmulas de grado modal k. Como a cada relación de accesibilidad usual, se le pueden asociar múltiples relaciones entre mundos encajados, entonces, al imponer restricciones adecuadas a estas últimas, también se imponen restricciones a los sistemas deductivos que estos mundos caracterizan, lo cual podría permitir, en algunos casos, una aproximación alternativa a ciertos problemas asociados a las lógicas modales, por ejemplo, al problema de la omnisciencia lógica, en el caso de las lógicas doxásticas y epistémicas.

    Tipo de proyecto: Investigación y desarrollo 
    Polinomios con operadores y su aplicación a la Lógica modal
    Inicio: Julio  2016 Duración 
    Resumen

    En este proyecto de investigación se propone desarrollar una teoría de ¿anillo de polinomios con operadores¿ y extender la teoría de bases de Gröbner a dichos polinomios. Usando los resultados obtenidos, se buscará definir traducciones de fórmulas de lógicas modales a polinomios con operadores, de tal manera que el problema de la deducibilidad en estas lógicas resulte ser equivalente al problema de determinar la pertenencia de un polinomio a un ideal (bajo una noción generalizada de ideal para polinomios con operadores), y por lo tanto pueda ser resuelto por medio métodos algebraicos, de manera análoga a como ocurre con las lógicas multivaluadas.

    Tipo de proyecto: Investigación y desarrollo 
    Type Theory with Constructive Truth and Constructive Falsity
    Inicio: Octubre  2018 Duración 
    Resumen

    The general objective of this project is to construct a type theory in which affirmations and denials behave symmetrically, following the ideas of the constructive negations defined in N1 and RFC. For the type theory obtained, questions about a possible Curry-Howard correspondence, normalization and behaviour under the presence of contradictions will be answered, and a comparison with intuitionistic type theory will be made.