Relevant logic and relation algebras.

Tomasz Kowalski

Published in: TACL (2013)

Keyphrases

relation algebra
set theory
genetic algorithm
spatial reasoning
predicate logic
boolean algebra
social networks
information systems
logic programming
modal logic
multi valued
defeasible logic