Login / Signup
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization.
Corrado Biasi
Federico Aschieri
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
normal form