Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.
Alessandro AvelloneMauro FerrariPublished in: TABLEAUX (1996)
Keyphrases
- sequent calculi
- proof procedure
- propositional logic
- default logic
- expressive power
- first order logic
- description logics
- modal logic
- linearly ordered
- classical first order logic
- nonmonotonic logics
- coalition logic
- propositional variables
- inference rules
- conditional logic
- reasoning problems
- proof search
- proof theory
- autoepistemic logic
- decision procedures
- logic programming