Una lógica modal par la geometría esférica de incidencia

• Autores: Alfonso Ríder Moyano
• Directores de la Tesis: Rafael María Rubio Ruiz (dir. tes.)
• Lectura: En la Universidad de Córdoba (ESP) ( España ) en 2004
• Idioma: español
• Tribunal Calificador de la Tesis: Juan Carlos Díaz Alcaide (presid.), Joaquín Gimeno Belanche (secret.), Inmaculada Pérez de Guzmán Molina (voc.), Juan Antonio Caballero Molina (voc.), Pablo Cordero Ortega (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • En esta memoria se introducen sistemas axiomáticos de tipo multimodal, para las geometrías planas de incidencia, esféricas e hiperbólicas;probándose la corrección y completiud de los mismos. Para ello se construye previamente bases semánticas adecuadas, de estructuras equivalentes a los modelos clásicos de ambas geometrías y susceptibles en cada caso de poder interpretar en ellas los nuveos lenguajes multimodales introducidos.