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.
Resumen
La geometría espacial de incidencia está construida por medio de estructuras trisurtidas formadas por puntos, rectas y planos con relaciones binarias de interconexión, para cada dos de estos elementos. En este trabajo introducimos una estructura monosurtida, que denominamos marco espacial de incidencia y que resulta adecuada para un tratamiento modal. Probaremos la completitud del sistema por medio del SD-teorema. Las extensiones a los casos proyectivo, afín e hiperbólico son también considerados.
Similar content being viewed by others
References
Balbiani, P. AndGoranko, V., (2002). Modal Logics for Parallelism, Orthogonality and Affine Geometries,J. of Applied Nonclassical Logics,12, 3–4, 365–397.
Balbiani, P., (2006). An expresive two-sorted spatial logic for plane projective geometry. Advances in Modal Logic, 49–68.
Balbiani, P. AndCallita.K., (2004). Solving constraints between lines in Euclidean Geometry. Lecture Notes in Computer Science 3192, 148–157.
Balbiani, P. AndTinchev, T., (2004). Line-Based Affine Reasoning in Euclidean Geometry. Lecture Notes in Computer Science 3229, 474–486.
van Benthem, (1983).The Logic of Time, Reidel.
Blackburn, P., Rijke, M. andVenema, Y., (2001).Modal Logic, Cambridge University Press, United Kingdom.
Coxeter, H., (1971).Fundamentos de Geometría, Limusa.
Gabbay, D., (1981). An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. InAspects of Philosophical Logic, U. Mönnich, ed., pp. 67–89. Reidel.
Goldblatt, R., (1987).Logics of Time and Computation. Lecture Notes Number 7. Center for the Study of Language and Information.
Goldblatt, R., (1979). Topoï, the Categorial Analysis of Logic. North-Holland, Amsterdam, Netherlands.
Greenberg, Marvin J., (1993).Euclidean and non-Euclidean Geometries, Freeman and Company, USA.
Hilbert, D., (1971).Les Fondements de la Géométrie, Dynod, Paris.
Jacobson, N., (1980).Basic Algebra II, W. H. Freeman and Company, New York.
RíDer, A. AndRubio, R., (2004). Una lógica modal para la geometría plana de Lobachevski,Rev. Acad. Colom. Cienc.,28 (106), 87–94.
RíDer, A. AndRubio, R., (2005). A Modal Logic for Incidence Spherical Geometry,RACSAM,99 (1), 79–117.
Vakarelov, D., (1992). A modal theory of arrow. Arrow logics I, InProceedings of the logic in AI. European Workshop JELIA’ 92, Berlin, Germany, September 1992. D. Pearce and G. Wagner eds., 1–24. Vol. 633 of Lectures Notes in Artificial Intelligence. Springer-Verlag, Berlin.
Venema, Y., (1993). Derivation rules as anti-axioms in modal logic.Journal of symbolic Logic,58, 1003–1034.
Venema, Y. and other, (2001).Modal Logic, Cambridge University Press.
Wright, G., (1979). A modal logic of space. InThe Philosophy of Nicholas Rescher, F. Sosa, ed. Reidel, Dordrecht.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Moyano, A.R., Rubio Ruiz, R.M. An axiom system for incidence spatial geometry. Rev. R. Acad. Cien. Serie A. Mat. 102, 237–249 (2008). https://doi.org/10.1007/BF03191824
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF03191824