Relational Proof System for Linear and Other Substructural Logics.

Published in: Log. J. IGPL (1997)

Keyphrases

modal logic
propositional calculus
temporal logic
closed form
intuitionistic logic
expressive power
databases
relational learning
linear systems