| decidability | |
| normalization | The normalization lemma. |
| elimination | |
| sequent valid | |
| full sequent assignment | |
| sequent sat lemmas | |
| sequent falsification | |
| sequent satisfaction | |
| sequent rank | |
| formula list | |
| sequent equality | |
| sequent | |
| formula validity | |
| full assignment | |
| sat lemmas | |
| formula equality | |
| formula falsification | |
| formula satisfaction | |
| formula rank | |
| valuation | |
| Kleene | Kleene 3-valued truth connectives. |
| assignment | |
| Three | Type of 3-truth-values |
| formula | Propositional formula structure. |
| var jlc |