A Modal Logic for Incidence Spherical Geometry.

Ríder Moyano, Alfonso, and Rubio Ruiz, Rafael María. "Una lógica modal para la geometría esférica de incidencia.." RACSAM 99.1 (2005): 79-117. <http://eudml.org/doc/41001>.

@article{RíderMoyano2005,
abstract = {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.},
author = {Ríder Moyano, Alfonso, Rubio Ruiz, Rafael María},
journal = {RACSAM},
keywords = {Lógica modal; Geometría esférica; classical Riemann geometry; incidence geometry; modal logic; one-sorted structure; spherical frame; axiomatic system},
language = {spa},
number = {1},
pages = {79-117},
title = {Una lógica modal para la geometría esférica de incidencia.},
url = {http://eudml.org/doc/41001},
volume = {99},
year = {2005},
}

TY - JOUR
AU - Ríder Moyano, Alfonso
AU - Rubio Ruiz, Rafael María
TI - Una lógica modal para la geometría esférica de incidencia.
JO - RACSAM
PY - 2005
VL - 99
IS - 1
SP - 79
EP - 117
AB - 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.
LA - spa
KW - Lógica modal; Geometría esférica; classical Riemann geometry; incidence geometry; modal logic; one-sorted structure; spherical frame; axiomatic system
UR - http://eudml.org/doc/41001
ER -