Assertion: algebra's form | /r/HasAspect | two sorts
Facets:
value: as in ordinary propositional calculus
type: OTHER
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,...