Linear logic
Axiom
Multiplicative function
Mathematics
Extension (predicate logic)
Discrete mathematics
Substructural logic
Possible world
Intermediate logic
Linear temporal logic
EXPTIME
Theoretical computer science
Computer science
Algorithm
Description logic
Computational complexity theory
Programming language
Mathematical analysis
Philosophy
Geometry
Epistemology
PSPACE
