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.
"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.
New to topics? Read the docs here!