Sequent
Computer science
Axiom
Theoretical computer science
Phenomenon
Polarization (electrochemistry)
Description logic
Sequent calculus
Deductive reasoning
Artificial intelligence
Programming language
Mathematics
Mathematical proof
Epistemology
Philosophy
Chemistry
Geometry
Physical chemistry
