In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly $\omega$-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, $\omega$-canonicity and strong $\omega$-completeness is given.
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete / C. Fiorentini. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 65:4(2000), pp. 1575-1604.
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete
C. FiorentiniPrimo
2000
Abstract
In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly $\omega$-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, $\omega$-canonicity and strong $\omega$-completeness is given.File | Dimensione | Formato | |
---|---|---|---|
2000_jsl.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
581.21 kB
Formato
Adobe PDF
|
581.21 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.