| ||||
| ||||
![]() Title:About the unification type of topological logics over Euclidean spaces Authors:Çigdem Gencer Conference:WiL 2018 Tags:boolean algebra, boolean region connection calculus, mereotopological space, qualitative spatial reasoning, regular closed polygon, regular closed subset, topologicai logics, topological logic, topological space, unifiability problem, unifiable formula, unification problem and unification type Abstract: We introduce a new inference problem for topological logics, the unifiability problem. Our main result is that, within the context of the mereotopology of all regular closed polygons of the real plane, unifiable formulas always have finite complete sets of unifiers. About the unification type of topological logics over Euclidean spaces ![]() About the unification type of topological logics over Euclidean spaces | ||||
Copyright © 2002 – 2025 EasyChair |