发表机构
Research Center for Logic, Optimization and Security (LOS), University of Bucharest; Institute for Logic and Data Science, Bucharest（布加勒斯特大学逻辑、优化与安全研究中心; 布加勒斯特逻辑与数据科学研究所）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究推进直觉主义版本可应用匹配逻辑的构建，提出基于完备Heyting代数的语义框架，还设计了对应的证明系统并验证了其可靠性。
AI 中文摘要
我们介绍了正在开展的直觉主义版本可应用匹配逻辑研究工作，提出基于完备Heyting代数的语义，并构建了一套证明系统，且证明了该系统相对于此语义是可靠的。
英文摘要
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.
CommentsIn Proceedings FROM 2026, arXiv:2609.30324
Journal refEPTCS 452, 2026, pp. 217-224
