Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2412.04843 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Sommario:
- Hypersequent calculus GŁ$\forall$ for first-order Łukasiewicz logic was first introduced by Baaz and Metcalfe, along with a proof of its approximate completeness with respect to standard $[0,1]$-semantics. The completeness result was later pointed out by Gerasimov that it only applies to prenex formulas. In this paper, we will present our proof of approximate completeness of GŁ$\forall$ for arbitrary first-order formulas by generalizing the original completeness proof to hypersequents.