Page 1 Next

Displaying 1 – 20 of 48

Showing per page

An axiom system for incidence spatial geometry.

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


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 – 20 of 48

Page 1 Next