Psi-calculi in Isabelle.

Jesper Bengtson Joachim Parrow

Published in: TPHOLs (2009)

Keyphrases

sequent calculi
cut elimination
theorem prover
natural deduction
sequent calculus
topic maps
linear logic
qualitative spatial and temporal reasoning
wide class
inference rules
qualitative spatial reasoning
spatial reasoning
theorem proving
database
probability distribution
data structure
genetic algorithm