Checking Satisfiability by Dependency Sequents

Eugene Goldberg Panagiotis Manolios

Published in: CoRR (2012)

Keyphrases

linear logic
sequent calculus
satisfiability problem
np complete
fixed point
phase transition
propositional logic
computational complexity
decision procedures
satisfiability testing
natural deduction
np hard
description logics
inference rules
terminological reasoning