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

Título inglés	A Modal Logic for Incidence Spherical Geometry.
Título español	Una lógica modal para la geometría esférica de incidencia.
Autor/es	Ríder Moyano, Alfonso ; Rubio Ruiz, Rafael María
Organización	Dep. Mat. Univ. Córdoba, Córdoba, España
Revista	1578-7303
Publicación	2005, 99 (1): 79-117, 39 Ref.
Tipo de documento	articulo
Idioma	Español
Resumen español	Habitualmente, las geometrías de incidencia están basadas en estructuras bisurtidas formadas por puntos y rectas, y conectadas por una relación entre ambas clases. En lo que sigue, introducimos una estructura monosurtida, que llamamos Marco Esférico de Incidencia, la cual resulta adecuada, para construir una base semántica que permita su consideración en el lenguaje modal. Construiremos así un sistema axiomático para dicho lenguaje, que estaría determinado por la estructura creada, es decir probaremos su corrección y completitud.
Clasificación UNESCO	110209 ; 120411
Palabras clave español	Lógica modal ; Geometría esférica
Código MathReviews	MR2174260
Acceso al artículo completo