In this paper, we present a further liberalization of the δ-rule in free variable semantic tableaux. It is effective in that (1) it is both a natural and intuitive liberalization, and (2) can reduce the proof size non elementarily as compared to previous versions of the δ-rule.
A further and effective liberalization of the delta-rule in free variable semantic tableaux
CANTONE, Domenico;NICOLOSI ASMUNDO, MARIANNA
2000-01-01
Abstract
In this paper, we present a further liberalization of the δ-rule in free variable semantic tableaux. It is effective in that (1) it is both a natural and intuitive liberalization, and (2) can reduce the proof size non elementarily as compared to previous versions of the δ-rule.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LNAI2000.pdf
solo gestori archivio
Descrizione: Articolo principale
Tipologia:
Versione Editoriale (PDF)
Dimensione
214.11 kB
Formato
Adobe PDF
|
214.11 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
