Mathematical Logic

  1. Applications
    1. Computer Science
      1. Logic Programming
        1. Declarative Programming Paradigms
          1. Prolog and its Applications
            1. Constraint Logic Programming
            2. Applications in Artificial Intelligence
              1. Knowledge Representation
                1. Expert Systems
              2. Formal Verification
                1. Software Verification
                  1. Model Checking
                    1. Program Verification Frameworks
                    2. Hardware Verification
                      1. Circuit Verification Techniques
                        1. Formal Specification Languages
                      2. Automated Theorem Proving
                        1. Interactive Theorem Proving
                          1. Proof Assistants and Their Role
                          2. Automated Systems
                            1. SAT Solvers
                              1. SMT (Satisfiability Modulo Theories)
                          3. Philosophy
                            1. Philosophical Logic
                              1. Analysis of Logical Paradoxes
                                1. Liar Paradox and its Implications
                                  1. Russell's Paradox in Set Theory
                                  2. Argumentation Theories
                                    1. Classical vs. Non-classical Logics in Philosophy
                                  3. Paradoxes
                                    1. Exploration of Self-reference
                                      1. Implications for Truth Theories
                                      2. Sorites Paradox and Vagueness
                                        1. Context Sensitivity and Precision
                                    2. Linguistics
                                      1. Syntax-Semantics Interface
                                        1. Formal Semantics
                                          1. Compositionality in Language
                                            1. Ambiguity and Disambiguation
                                            2. Syntax-directed Translation
                                              1. Natural Language Processing Applications
                                            3. Montague Grammar
                                              1. Theoretical Foundations
                                                1. Algebra of Literal Meaning
                                                2. Contribution to Formal Semantics
                                                  1. Applications to Natural Language Understanding
                                              2. Cognitive Science
                                                1. Human Reasoning Models
                                                  1. Logical vs. Probabilistic Reasoning
                                                    1. Cognitive Biases in Logical Reasoning
                                                    2. Development of Reasoning Abilities
                                                      1. Logical Thinking in Developmental Psychology
                                                    3. Logic in Cognitive Architecture
                                                      1. Integration in Cognitive Systems
                                                        1. Symbolic vs. Connectionist Approaches
                                                        2. Role in Artificial Intelligence
                                                          1. Logical Components of Learning Models
                                                    5. Computability Theory
                                                    First Page
                                                    7. Related Topics