NDLI: An axiom system for incidence spatial geometry

Content Provider	Springer Nature Link
Author	Moyano, Alfonso Ríder Rubio Ruiz, Rafael Mariá
Copyright Year	2008
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.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.
Starting Page	237
Ending Page	249
Page Count	13
File Format	PDF
ISSN	15787303
Journal	Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas
Volume Number	102
Issue Number	2
e-ISSN	15791505
Language	Spanish
Publisher	Springer-Verlag
Publisher Date	2008-01-01
Publisher Place	Milan
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Modal Logic Incidence Spatial Geometry Modal logic Logic in computer science Computational difficulty of problems Mathematics Applications of Mathematics Theoretical, Mathematical and Computational Physics
Content Type	Text
Resource Type	Article
Subject	Geometry and Topology Applied Mathematics Algebra and Number Theory Analysis Computational Mathematics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Open problems in infinite dimensional geometry and topology

An approach from answer set programming to decision making in a railway interlocking system

Announcement : Springer nuevo editor de RACSAM

Preface Recent advances in actuarial and financial mathematics

Dynamical systems and shapes

On nonlinear simultaneous approximation problems

Martingales and arbitrage: a new look

Singularities: presentation

An algebraic approach to rule based expert systems

An axiom system for incidence spatial geometry

Similar Documents

Open problems in infinite dimensional geometry and topology

An approach from answer set programming to decision making in a railway interlocking system

Announcement : Springer nuevo editor de RACSAM

Preface Recent advances in actuarial and financial mathematics

Dynamical systems and shapes

On nonlinear simultaneous approximation problems

Martingales and arbitrage: a new look

Singularities: presentation

An algebraic approach to rule based expert systems

An axiom system for incidence spatial geometry