We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.
Best solving modal equations / S. Ghilardi. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 102:3(2000), pp. 183-198. [10.1016/S0168-0072(99)00032-9]
Best solving modal equations
S. Ghilardi
Primo
2000
Abstract
We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Um.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
278.7 kB
Formato
Adobe PDF
|
278.7 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
1-s2.0-S0168007299000329-main.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
146.77 kB
Formato
Adobe PDF
|
146.77 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
