Login / Signup

The Complexity of Gentzen Systems for Propositional Logic.

Alasdair Urquhart
Published in: Theor. Comput. Sci. (1989)
Keyphrases
  • propositional logic
  • first order logic
  • belief revision
  • computational complexity
  • expert systems
  • possibilistic logic
  • lattice theory
  • horn logic