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 inves...
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... Read More
ETD Test 20
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 the...
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... Read More
ETD Test Upload 12345