Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.
Bartosz WieckowskiPublished in: J. Log. Lang. Inf. (2016)
Keyphrases
- natural deduction
- intuitionistic logic
- first order logic
- theorem prover
- inference rules
- language learning
- theorem proving
- predicate calculus
- natural language
- higher order
- high level
- programming language
- linear time temporal logic
- linear logic
- constraint logic programming
- sequent calculus
- cut elimination
- logical theories
- specification language
- machine learning