Abstract
In this paper we present a unifying discrete framework for various representation theorems in the field of spatial reasoning. We also show that the universal and existential quantifiers of restricted scope used in first order languages and represented as binary relations in the syllogistic algebras considered by Shepherdson (1956) [1] may be studied in this framework.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have