Dual counterpart intuitionistic logic.

Anthony Cantor Aaron Stump

Published in: J. Log. Comput. (2024)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
bayesian networks
proof theory