Login / Signup

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras.

Federico FlavianiWalter Carballosa
Published in: CLEI (2022)
Keyphrases
  • propositional logic
  • belief revision
  • proof procedure
  • possibilistic logic
  • horn logic
  • knowledge base
  • first order logic
  • nonmonotonic logics