Abstract: A spatial logic is any formal language with geometric interpretation. Research on region-based spatial logics, where variables are set to range over certain subsets of geometric space, have been investigated recently within the qualitative spatial reasoning paradigm in AI. We axiomatised the theory of (ROQ(R^2), conv, ≤) , where ROQ(R^2) is the set of regular open rational polygons of the real plane; conv is the convexity property and ≤ is the inclusion relation. We proved soundness and completeness theorems. We also proved several expressiveness results. Additionally, we provide a historical and philosophical overview of the topic and present contemporary results relating to affine spatial logics.
The subject of this doctoral thesis is the mathematical theory of independence, and its various manifestations in logic and mathematics. The topics covered in this doctoral thesis range from model theory and combinatorial geometry, to database theory, quantum logic and probability logic. This study...
The nature of the Trinity is a central and salvific doctrine within biblical Christianity. The divine nature of the person of God the Father, Son and Holy Spirit is pertinent to Christian teachings and a proper understanding of God is crucial to authentic worship and belief. Cults or heterodoxic...