Login / Signup
Combining First-Order Classical and Intuitionistic Logic.
Masanobu Toyooka
Katsuhiko Sano
Published in:
NCL (2022)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
bayesian networks
software engineering
first order logic