Pandora: A Reasoning Toolbox using Natural Deduction Style.
Krysia BrodaJiefei MaGabrielle SinnaduraiAlexander J. SummersPublished in: Log. J. IGPL (2007)
Keyphrases
- natural deduction
- intuitionistic logic
- theorem prover
- inference rules
- automated reasoning
- cut elimination
- classical logic
- theorem proving
- linear logic
- qualitative reasoning
- knowledge base
- reasoning tasks
- linear time temporal logic
- proof theoretic
- reasoning systems
- logical framework
- reasoning process
- graphical representation
- probabilistic reasoning
- first order logic
- general purpose