Login / Signup
Questions and Dependency in Intuitionistic Logic.
Ivano Ciardelli
Rosalie Iemhoff
Fan Yang
Published in:
Notre Dame J. Formal Log. (2020)
Keyphrases
</>
intuitionistic logic
linear logic
classical logic
model checker
model checking
logic programming
normal form
conditional probabilities
proof theory