Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.

Didier Galmiche Dominique Larchey-Wendling

Published in: ASIAN (1999)

Keyphrases

intuitionistic logic
linear logic
proof search
classical logic
proof procedure
software engineering
theorem prover
general purpose
theorem proving
natural deduction