The intended interpretation of intuitionistic logic.

Scott Weinstein

Published in: J. Philos. Log. (1983)

Keyphrases

intuitionistic logic
classical logic
linear logic
high level
normal form
natural deduction
proof theoretic
database design