Login / Signup

Gentzen-type systems and resolution rules. Part I. Propositional logic.

Grigori Mints
Published in: Conference on Computer Logic (1988)
Keyphrases
  • propositional logic
  • first order logic
  • belief revision
  • lattice theory
  • davis putnam
  • multi context systems
  • quantified boolean formulae
  • proof procedure