Maximal consistency in propositional logic
= Maximal consistency in propositional logic
A <propositionally consistent> theory is maximally consistent when every proper extension by a new <propositional formula> is inconsistent. It decides each <propositional formula> or its <negation>.