Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory.

Robin Hirsch Ian M. Hodkinson Roger D. Maddux

Published in: J. Symb. Log. (2002)

Keyphrases

relation algebra
proof theory
default reasoning
expressive power
rough sets
proof theoretic
automated reasoning
decision rules
formal logic
reasoning problems
general purpose
default logic
probabilistic reasoning
artificial intelligence
modal logic
constraint satisfaction
high level