Metatheory
Natural deduction
Sequent calculus
Completeness (order theory)
Computer science
Linear logic
Rule of inference
Sequent
Proof calculus
Cut-elimination theorem
Programming language
First-order logic
Theoretical computer science
Concurrency
Inference
Mathematics
Algorithm
Mathematical proof
Artificial intelligence
Mathematical analysis
Geometry
