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