Login / Signup

On an ecumenical natural deduction with stoup - Part I: The propositional case.

Luiz Carlos PereiraElaine Pimentel
Published in: CoRR (2022)
Keyphrases
  • natural deduction
  • propositional logic
  • natural language
  • theorem prover
  • case based reasoning
  • multi valued