Page 1

Displaying 1 – 4 of 4

Showing per page

An axiom system for incidence spatial geometry.

Rafael María Rubio, Alfonso Ríder (2008)

RACSAM

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.

Currently displaying 1 – 4 of 4

Page 1