Intuitionistic logic and modality via topology.

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
normal form
proof theoretic
logic programming
theorem prover
theorem proving
web services
cut elimination