Sciweavers

JSYML
2007
88views more  JSYML 2007»
14 years 11 days ago
The basic intuitionistic logic of proofs
The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete ...
Sergei N. Artëmov, Rosalie Iemhoff