Relational Proof System for Relevant Logics.

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

Keyphrases

modal logic
relational databases
expressive power
relational data
intuitionistic logic
inference rules
temporal logic
classical logic
nonmonotonic logics
query processing
query language
relational model
default logic
relational learning
conditional logic
propositional calculus