Psi-calculi in Isabelle.

Jesper Bengtson

Published in: Arch. Formal Proofs (2012)

Keyphrases

theorem prover
sequent calculi
cut elimination
natural deduction
topic maps
qualitative spatial and temporal reasoning
reasoning problems
qualitative spatial
sequent calculus
linear logic
wide class
inference rules
data model
database
first order logic
fuzzy logic
vague concepts
case study