Gentzen Sequent Calculus for Possibilistic Reasoning.
Churn-Jung LiauBertrand I-Peng LinPublished in: Logic at Work (1992)
Keyphrases
- sequent calculus
- intuitionistic logic
- linear logic
- cut elimination
- natural deduction
- inference rules
- modal logic
- linear time temporal logic
- classical logic
- fixed point
- proof search
- logical framework
- logic programming
- theorem proving
- possibilistic networks
- wide class
- sufficient conditions
- knowledge base
- theorem prover
- possibility theory
- probability theory
- probabilistic reasoning
- desirable properties
- artificial intelligence