Login / Signup

Proof Systems for Effectively Propositional Logic.

Juan Antonio Navarro PérezAndrei Voronkov
Published in: IJCAR (2008)
Keyphrases
  • propositional logic
  • belief revision
  • first order logic
  • lattice theory
  • search algorithm
  • possibilistic logic
  • proof procedure
  • truth maintenance systems
  • satisfiability testing