A Natural Deduction System for Annotated Predicate Logic.
Seiki AkamaKazumi NakamatsuJair Minoro AbePublished in: KES (2) (2007)
Keyphrases
- predicate logic
- natural deduction
- theorem prover
- inference rules
- temporal logic
- cut elimination
- formal logic
- intuitionistic logic
- knowledge representation and reasoning
- semantic net
- theorem proving
- computational linguistics
- sequent calculus
- predicate calculus
- semantic network
- linear time temporal logic
- lower level
- logical formulas
- linear logic
- reasoning systems
- automated reasoning
- domain independent
- low level
- expert systems