Exploiting lattices in a theory of space and time

摘要: Abstract We outline an axiomatic theory expressed in a first order predicate logic formalism. The modifies and extends Bowman Clarke's calculus of individuals. is primarily concerned with topological description space time. From this various classification hierarchies are singled out as lattice structures. nodes these lattices correspond to concepts the monadic predicates, but also using higher arity predicates. concentrate upon that part used describe space. logical structure interrelationship different structures discussed. Some attention given how, by singling such structures, may be effectively implemented within resolution-based automated reasoning setting.