11. The late 1980s and early 1990s saw big changes on the software side for Sequent . 12. Alternative formulations include Hilbert-style propositional axioms, sequent calculi, and tableaux systems. 13. The entropy rule presumably allows the ordered sequents to be broken up into unordered sequents. 14. The entropy rule presumably allows the ordered sequents to be broken up into unordered sequents . 15. In this interpretation the cut rule of the sequent calculus corresponds to composition in the category. 16. Sequent Computer Systems built large SMP machines using Intel 80386 ( and later 80486 ) processors.17. The sequent calculus is the chief alternative to natural deduction as a foundation of mathematical logic. 18. Alternatively, the variable y must not appear anywhere in the respective lower sequents ." 19. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus. 20. A sequent of this form, with ? empty, is known as a logical assertion.
