Formal Systems Laboratory

I keep updating chapters of my PhD thesis here. Check this page regularly.

Title: Matching μ-Logic

• Chapter 1. Introduction
• Chapter 2. Preliminaries
• Chapter 3. Basics of Matching μ-Logic (PDF)
  • 3.1. Matching μ-Logic Syntax
  • 3.2. Matching μ-Logic Semantics
    • 3.2.1. Matching μ-Logic Models
    • 3.2.2. Variable Valuations and Pattern Interpretations
    • 3.2.3. Validity and Satisfiability
  • 3.3. Matching μ-Logic Proof System and the Soundness Theorem
    • 3.3.1. Matching μ-Logic Proof System
    • 3.3.2. Soundness Theorem
    • 3.3.3. Basic Matching μ-Logic Reasoning
• Chapter 4. Basic Matching μ-Logic Theories
• Chapter 5. Completeness of Matching μ-Logic
• Chapter 6. Decidable Fragments of Matching μ-Logic
• Chapter 7. Many-Sorted Matching μ-Logic
• Chapter 8. Defining Logical Systems
• Chapter 9. Matching μ-Logic and the K Framework