Login / Signup
A Correct Polynomial Translation of S4 into intuitionistic Logic.
Rajeev Goré
Jimmy Thomson
Published in:
J. Symb. Log. (2019)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
probability distribution
normal form
default logic