Una lógica modal para la geometría esférica de incidencia.
Ríder Moyano, Alfonso ; Rubio Ruiz, Rafael María
RACSAM, Tome 99 (2005), p. 79-117 / Harvested from Biblioteca Digital de Matemáticas
Access to full text

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.

Publié le : 2005-01-01
DMLE-ID : 3565 
@article{urn:eudml:doc:41001,
     title = {Una l\'ogica modal para la geometr\'\i a esf\'erica de incidencia.},
     journal = {RACSAM},
     volume = {99},
     year = {2005},
     pages = {79-117},
     mrnumber = {MR2174260},
     zbl = {1091.03004},
     language = {es},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:41001}
}

Ríder Moyano, Alfonso; Rubio Ruiz, Rafael María. Una lógica modal para la geometría esférica de incidencia.. RACSAM, Tome 99 (2005) pp. 79-117. http://gdmltest.u-ga.fr/item/urn:eudml:doc:41001/