Structuring Co-constructive Logic for Proofs and Refutations.
James TraffordPublished in: Logica Universalis (2016)
Keyphrases
- proof search
- theorem prover
- natural deduction
- theorem proving
- cut elimination
- inference rules
- automated reasoning
- linear logic
- sequent calculus
- automated theorem proving
- modal logic
- search procedure
- classical logic
- computer algebra
- first order logic
- proof procedure
- multi valued
- decision procedures
- logic programming
- mathematical knowledge
- formal proofs
- genetic algorithm
- asynchronous circuits
- predicate calculus
- formal language
- knowledge representation
- case study