Completeness Proof Strategies for Euler Diagram Logics.

Jim Burton Gem Stapleton John Howse

Published in: ED@Diagrams (2012)

Keyphrases

expressive power
modal logic
proof theory
data sets
database
search strategies
proof theoretic
differential equations
higher order logic
decision procedures
propositional calculus
sequent calculus
classical logic
logical framework
optimal strategy
inference rules
dynamical systems