Displaying similar documents to “Kurt Gödel 1906–1978, a life dedicated to meditation. (Kurt Gödel 1906–1978, una vida dedicada a la reflexión.)”

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

Alfonso Ríder Moyano, Rafael María Rubio Ruiz (2005)

RACSAM

Similarity:

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...