Login / Signup
Admissible Tools in the Kitchen of Intuitionistic Logic.
Andrea Condoluci
Matteo Manighetti
Published in:
CL&C (2018)
Keyphrases
</>
intuitionistic logic
classical logic
knowledge base
linear logic
state space
general purpose
planning problems
natural deduction