Notes on applicative matching logic
Logic in Computer Science
2025-06-19 v3 Logic
Abstract
Matching logic (ML) was developed by Grigore Ro\c{s}u and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Ro\c{s}u. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous influence on the notes.
Keywords
Cite
@article{arxiv.2506.10088,
title = {Notes on applicative matching logic},
author = {Laurenţiu Leuştean},
journal= {arXiv preprint arXiv:2506.10088},
year = {2025}
}