Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant.
Jørgen VilladsenAnders SchlichtkrullPublished in: Trans. Large Scale Data Knowl. Centered Syst. (2017)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- automated theorem proving
- test bed
- first order logic
- inference rules
- proof search
- linear logic
- formal proof
- data sets
- mathematical proofs
- geometry theorem proving
- proof planning
- special case
- multi agent systems
- support vector
- multi agent
- objective function
- decision trees
- artificial intelligence