Login / Signup

Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.

Alain HeuerdingMichael SeyfriedHeinrich Zimmermann
Published in: TABLEAUX (1996)
Keyphrases
  • inference rules
  • proof search
  • propositional logic
  • orders of magnitude
  • default logic
  • decision procedures
  • linear logic
  • classical first order logic