Séquent
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un objet syntaxique de la forme Γ ⇒ Δ (où Γ et Δ sont en général des multisets ou des suites finies de formules) exprimant que la conjonction des formules de Γ implique la disjonction des formules de Δ dans un système de séquents.