Login / Signup

Harmony in Multiple-Conclusion Natural-Deduction.

Nissim Francez
Published in: Logica Universalis (2014)
Keyphrases
  • natural deduction
  • intuitionistic logic
  • bayesian networks