| 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.
|
