Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

truth values
vector space
proof theoretic
linear time temporal logic
neural network
modal logic
inference rules
automated reasoning
classical logic
defeasible logic
proof theory
database
logical framework
asynchronous circuits
tableau calculus