| 21. | The technology worked, but the company, Sequent Computer Systems, never really achieved critical mass.
|
| 22. | Until it was acquired by IBM, Sequent Computer Systems was headquartered right next door to Nike.
|
| 23. | Other derivatives of LK are limited to intuitionisitic derivations but still allow multiple conclusions in a sequent.
|
| 24. | Not all authors have adhered to Gentzen's original meaning for the word " sequent ".
|
| 25. | In many cases, sequents are also assumed to consist of multisets or sets instead of sequences.
|
| 26. | Sequent Computer Systems, now part of IBM, was following a similar strategy at the time.
|
| 27. | For Sequent, the merger addresses the major issues we faced : size, reach and software availability,
|
| 28. | As another possibility, completeness proofs based on cut-free sequent calculi usually produce finite models directly.
|
| 29. | The kinds of proofs generated in the sequent calculus are therefore rather different from those of natural deduction.
|
| 30. | There is some freedom of choice regarding the technical details of how sequents and structural rules are formalized.
|
