A mereotopology based on sequent algebras.

Dimiter Vakarelov

Published in: J. Appl. Non Class. Logics (2017)

Keyphrases

topological spaces
inference rules
modal logic
distributive lattices
data mining
spatial reasoning
sequent calculi
image sequences
temporal reasoning
interval algebra
natural deduction
real world
metadata
search algorithm
artificial neural networks
relation algebra