arXiv Open Access 2025

Matching logic -- a new axiomatization

Laurenţiu Leuştean Dafina Trufaş

Lihat Sumber

Abstrak

In these notes we propose a new, simpler proof system for first-order matching logic with application and definedness. The new proof system is inspired by Tarski's axiomatization for first order-logic with equality (simplified by Kalish and Montague), that does not involve the notions of a free variable and free substitution. We give also a proof system for first-order matching logic with application, obtained by adapting to matching logic Gödel's proof system for first-order intuitionistic logic.

Topik & Kata Kunci

cs.LO math.LO

Penulis (2)

Laurenţiu Leuştean

Dafina Trufaş

Format Sitasi

APA MLA BibTeX

Leuştean, L., Trufaş, D. (2025). Matching logic -- a new axiomatization. https://arxiv.org/abs/2506.13801

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓