A Mechanised Proof System for Relation Algebra using Display Logic.

Jeremy E. Dawson Rajeev Goré

Published in: JELIA (1998)

Keyphrases

relation algebra
formal logic
expressive power
modal logic
intuitionistic logic
predicate logic
classical logic
database
databases
expert systems
logic programming
computational linguistics
proof search