Assertion: algebra's form | /r/HasProperty | sequent calculus
Facets:
Source sentences:
text: Another form is sequent calculus, which has two sorts, propositions as in ordinary propositional calculus, and pairs of lists of propositions called sequents, such as A∨B, A∧C,...