Emilio José Muñoz Velasco

• Artículos de revistas (2)
• Colaboraciones en obras colectivas (4)
• Tesis (1)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Analyzing completeness of axiomatic functional systems for temporal × modal logics

    Alfredo Burrieza Muñiz , Inmaculada Pérez de Guzmán Molina , Emilio José Muñoz Velasco

    Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 1, 2010, págs. 89-102

    
  • Seleccionado

    Una introducción a raíz cuadrada como número que representa ciertas distancias

    Emilio José Muñoz Velasco, Joaquín Fernández Gago

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, ISSN 1130-488X, Nº 18, 1994, págs. 28-31

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Conexiones de Galois relacionales

    Emilio José Muñoz Velasco, Manuel Ojeda Aciego

    Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza / coord. por Carlos Aguilera Ventura, Emilio José Muñoz Velasco, Manuel Ojeda Aciego , Antonio Yuste Ginel, 2023, ISBN 978-1-84890-447-7, págs. 121-136

    
  • Seleccionado

    Cercanía y despreciabilidad usando lógica con órdenes de magnitud

    Alfredo Burrieza Muñiz , Emilio José Muñoz Velasco, Manuel Ojeda Aciego

    Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno / coord. por Cristina Barés Gómez, Francisco José Salguero Lamillar, Fernando Soler Toscano , 2021, ISBN 9781848903586, págs. 21-34

    
  • Seleccionado

    A logic for order of magnitude reasoning with negligibility, non-closeness and distance

    Alfredo Burrieza Muñiz , Emilio José Muñoz Velasco, Manuel Ojeda Aciego

    XII Conferencia de la Asociación Española para la Inteligencia Artificial: (CAEPIA 2007). Actas / coord. por Daniel Borrajo Millán , Luis Castillo Vidal , Juan Manuel Corchado Rodríguez , Vol. 1, 2007, ISBN 978-84-611-8847-5, págs. 187-196

    • Resumen
    
  • Seleccionado

    Proyectos de innovación resolución de problemas

    Emilio José Muñoz Velasco, Joaquín Fernández Gago

    Desarrollo profesional y docencia universitaria : proyecto de innovación en la Universidad / coord. por Manuel Cebrián de la Serna , 1999, ISBN 84-7496-746-5, págs. 207-210

    

• Tesis

  • Seleccionado

    Semántica funcional para lógicas temporales x modales: Definibilidad y teoremas de completitud

    Emilio José Muñoz Velasco

    Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.) , Alfredo Burrieza Muñiz (dir. tes.) . Universidad de Málaga (2003).

    • Resumen
    • Tesis en acceso abierto en: www.sci.uma.es
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza

      coord. por Carlos Aguilera Ventura, Emilio José Muñoz Velasco, Manuel Ojeda Aciego , Antonio Yuste Ginel

      College Publications, 2023. ISBN 978-1-84890-447-7

      • Resumen
      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.