Psi-Calculi in Isabelle.
Jesper BengtsonJoachim ParrowTjark WeberPublished in: J. Autom. Reason. (2016)
Keyphrases
- theorem prover
- sequent calculi
- cut elimination
- natural deduction
- topic maps
- qualitative spatial and temporal reasoning
- qualitative spatial
- inference rules
- theorem proving
- sequent calculus
- wide class
- qualitative spatial reasoning
- linear logic
- neural network
- logic programs
- expert systems
- vague concepts
- multi agent systems
- artificial intelligence