Reasoning
Philosophical logic
Inference
Time
Vector field
Entailment
Orthogonality
Moving frame
Logic
Algebra
Logical consequence