Expressing Second-order Sentences in Intuitionistic Dependence Logic
Fan YangPublished in: CoRR (2013)
Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- logical framework
- higher order
- logic programming
- modal logic
- fuzzy set theory
- natural language
- theorem prover
- sequent calculus
- high order
- multi valued
- sentence level
- text summarization
- deontic logic
- predicate logic
- fixed point
- automated reasoning
- multi document summarization
- probability theory
- programming language
- knowledge representation
- logical formulas
- semantic relations
- training data