Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides.
Ryo TakemuraPublished in: Diagrams (2012)
Keyphrases
- theoretical investigation
- proof theory
- linear logic
- natural deduction
- proof theoretic
- proof search
- logical rules
- higher order logic
- automated theorem proving
- cut elimination
- theorem proving
- sequent calculus
- sequent calculi
- modal logic
- proof procedure
- logic programming
- machine translation
- theorem prover
- default reasoning
- statistical machine translation
- complete axiomatization
- classical logic
- recursive programs
- automated reasoning
- inference rules
- information extraction
- translation model
- natural language processing
- cross language information retrieval
- computer algebra
- hand drawn
- logical framework
- epistemic logic
- predicate logic