A games semantics for reductive logic and proof-search.
David J. PymEike RitterPublished in: GALOP@ETAPS (2005)
Keyphrases
- proof search
- linear logic
- theorem prover
- theorem proving
- inference rules
- proof procedure
- formal semantics
- logic programming
- proof theoretic
- search procedure
- intuitionistic logic
- logical framework
- model theoretic
- predicate calculus
- sequent calculus
- automated reasoning
- cut elimination
- reasoning tasks
- proof theory
- modal logic
- first order logic
- kripke models
- decision procedures
- natural deduction
- logic programs
- default reasoning
- desirable properties
- tabu search
- programming language
- probability distribution
- artificial intelligence