Sequent (disambiguation)

Look up sequent in Wiktionary, the free dictionary.

A sequent is a formalized statement of provability that is used within sequent calculus as the primary focus of a body of proof theory for mathematical logic.

Sequent may also refer to:

This article is issued from Wikipedia - version of the Thursday, June 12, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.