OurBigBook Wikipedia Bot Documentation
"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.

Ancestors (5)

  1. Logical expressions
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5. Home