) and a proof-search strategy for the focused sequent calculus.
Mahfuza FarooqueStéphane Graham-LengrandAssia MahboubiPublished in: LFMTP (2013)
Keyphrases
- search strategy
- sequent calculus
- linear logic
- cut elimination
- inference rules
- natural deduction
- search strategies
- modal logic
- search algorithm
- proof search
- search space
- linear time temporal logic
- logic programming
- bayesian networks
- wide class
- theorem proving
- hill climbing
- theorem prover
- first order logic
- effective pruning
- classical logic
- temporal logic
- heuristic search