Inquisitive Intuitionistic Logic.

Wesley H. Holliday

Published in: AiML (2020)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
normal form
proof theoretic
logic programming
artificial intelligence
sequent calculus