Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column.
Marc BezemThierry CoquandPublished in: Bull. EATCS (2003)
Keyphrases
- computer science
- proof theory
- logic programming
- modal logic
- natural deduction
- set theory
- automated reasoning
- case study
- neural network
- multi valued
- artificial intelligence
- automated theorem proving
- epistemic logic
- logical rules
- dynamic logic
- proof theoretic
- asynchronous circuits
- sequent calculi
- digital circuits
- computational properties
- classical logic
- theorem proving
- social sciences
- model checking
- logic programs
- machine learning
- data mining