Focusing and Polarization in Intuitionistic Logic

Chuck C. Liang Dale Miller

Published in: CoRR (2007)

Keyphrases

intuitionistic logic
classical logic
linear logic
proof theoretic
natural deduction
normal form
modal logic
database
general purpose
integrity constraints
default reasoning