Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.

Dominique Larchey-Wendling

Published in: CADE (2002)

Keyphrases

model construction
proof search
theorem prover
linear logic
theorem proving
inference rules
sequent calculus
search procedure
proof procedure
cut elimination
influence diagrams
pose estimation
modal logic
automated reasoning
computer vision