In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional manyvalued logics extending H´ajek’s Basic Logic BL [P. H´ajek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of BL in the language of BL have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part of the paper we look for conservative extensions of BL having such properties.
Montagna, F. (2006). Interpolation and Beth's property in many-valued logic: an algebraic investigation. ANNALS OF PURE AND APPLIED LOGIC, 141, 148-179 [10.1016/j.apal.2005.11.001].
Interpolation and Beth's property in many-valued logic: an algebraic investigation
Montagna F.
2006-01-01
Abstract
In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional manyvalued logics extending H´ajek’s Basic Logic BL [P. H´ajek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of BL in the language of BL have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part of the paper we look for conservative extensions of BL having such properties.
| File | Dimensione | Formato | |
|---|---|---|---|
|
APAL.pdf
non disponibili
Tipologia:
Post-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
553.78 kB
Formato
Adobe PDF
|
553.78 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/24016
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo