Vague Objects within Classical Logic and Standard Mereology, and without Indeterminate Identity.

Published in: J. Philos. Log. (2017)

Keyphrases

classical logic
spatial reasoning
modal logic
spatial objects
intuitionistic logic
logic programming
general purpose
inference rules
possibilistic logic
neural network
relational databases
object oriented
sufficient conditions
possibility theory
general logic programs