User:Jshflynn/The Structure/Formal/Mathematics

Logic (Outline)

• Mathematical logic
  • Set theory
  • Proof theory
  • Model theory
  • Recursion theory
  • Modal logic
  • Intuitionistic logic

• Philosophical logic
  • Logical reasoning
  • Modal logic
    • Deontic logic
    • Doxastic logic

• Logic in computer science
  • Programming language semantics
  • Formal methods (Formal verification)
  • Type theory
  • Logic programming
  • Multi-valued logic
    • Fuzzy logic