Login / Signup

Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs.

Alessandra Carbone
Published in: Stud Logica (2000)
Keyphrases
  • propositional logic
  • machine learning
  • belief revision
  • computational complexity
  • propositional formulas