Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract)
arXiv:2609.34894 · doi:10.4204/EPTCS.452.14
Abstract
We present work in progress towards an intuitionistic version of Applicative Matching Logic. We introduce a semantics based on complete Heyting algebras, and propose a proof system which we prove to be sound relative to this semantics.
In Proceedings FROM 2026, arXiv:2609.30324