Login / Signup

A Tutorial on Stålmarck's Proof Procedure for Propositional Logic.

Mary SheeranGunnar Stålmarck
Published in: Formal Methods Syst. Des. (2000)
Keyphrases
  • proof procedure
  • propositional logic
  • first order logic
  • belief revision
  • propositional satisfiability
  • belief change
  • inference rules
  • horn logic