Relevance Logics and Relation Algebras.

Katalin Bimbó J. Michael Dunn Roger D. Maddux

Published in: Rev. Symb. Log. (2009)

Keyphrases

relation algebra
expressive power
test collection
information retrieval
inference rules
linearly ordered
relative importance
modal logic
temporal reasoning
partial order
web search
classical logic
decision procedures
epistemic logic
proof theory
keywords
propositional calculus
genetic algorithm