Krivine's intuitionistic proof of classical completeness (for countable languages).
Stefano BerardiSilvio ValentiniPublished in: Ann. Pure Appl. Log. (2004)
Keyphrases
- linear logic
- theorem prover
- natural deduction
- expressive power
- fuzzy set theory
- cut elimination
- proof search
- data quality
- cross lingual
- sequent calculus
- language independent
- classical logic
- text summarization
- multilingual information retrieval
- statistical machine translation
- databases
- fuzzy numbers
- logic programming
- markov chain
- fuzzy logic