Expressing Second-order Sentences in Intuitionistic Dependence Logic.
Fan YangPublished in: Stud Logica (2013)
Keyphrases
- classical logic
- linear logic
- natural deduction
- logical framework
- cut elimination
- higher order
- logic programming
- modal logic
- fuzzy set theory
- high order
- knowledge representation
- logical formulas
- sequent calculus
- proof theory
- asynchronous circuits
- predicate logic
- multi valued
- natural language
- wide class
- sentence level
- neural network
- automated reasoning
- multi document summarization
- theorem prover
- training data
- knowledge base