An axiom system for incidence spatial geometry.

Rubio, Rafael María, and Ríder, Alfonso. "An axiom system for incidence spatial geometry.." RACSAM 102.2 (2008): 237-249. <http://eudml.org/doc/42059>.

@article{Rubio2008,
abstract = {Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theorem. Extensions to projective, affine and hyperbolic geometries are also considered.},
author = {Rubio, Rafael María, Ríder, Alfonso},
journal = {RACSAM},
keywords = {axiomatics of geometric structures; modal logic; one-sorted geometrical structure; incidence spatial frame; completeness},
language = {eng},
number = {2},
pages = {237-249},
title = {An axiom system for incidence spatial geometry.},
url = {http://eudml.org/doc/42059},
volume = {102},
year = {2008},
}

TY - JOUR
AU - Rubio, Rafael María
AU - Ríder, Alfonso
TI - An axiom system for incidence spatial geometry.
JO - RACSAM
PY - 2008
VL - 102
IS - 2
SP - 237
EP - 249
AB - Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theorem. Extensions to projective, affine and hyperbolic geometries are also considered.
LA - eng
KW - axiomatics of geometric structures; modal logic; one-sorted geometrical structure; incidence spatial frame; completeness
UR - http://eudml.org/doc/42059
ER -