Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic.
Aleksy SchubertPublished in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
- classical logic
- invited talk
- modal logic
- logic programming
- automated theorem proving
- intuitionistic logic
- sequent calculus
- cut elimination
- knowledge discovery and data mining
- natural deduction
- valued logic
- selected papers
- theorem prover
- default logic
- theorem proving
- knowledge representation
- possibility theory
- machine learning
- incomplete information
- program committee
- programming language
- general purpose
- case based reasoning
- expert systems
- genetic algorithm