A proof-search procedure for intuitionistic propositional logic.
Romas AlonderisPublished in: Arch. Math. Log. (2013)
Keyphrases
- propositional logic
- search procedure
- theorem prover
- linear logic
- first order logic
- proof procedure
- natural deduction
- simulated annealing
- belief revision
- tabu search
- theorem proving
- search algorithm
- search space
- quantified boolean formulae
- inference rules
- logical framework
- fixed point
- lattice theory
- logic programming
- search procedures
- metaheuristic
- belief change
- knowledge representation
- evolutionary algorithm
- horn logic
- orders of magnitude
- fuzzy set theory
- hyper heuristics
- fuzzy sets