C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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