A sequent records that the formula is derivable with undischarged assumptions drawn from . In natural deduction, a temporary assumption contributes to only until an appropriate discharge rule closes its scope.
Articles by others on the same topic
"Sequent" can refer to different concepts depending on the context. Here are a few possibilities: 1. **Sequent Calculus**: In mathematical logic, a sequent is a formal expression used in sequent calculus, which is a type of proof system.