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.
