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. Fiorentini
Primo
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.
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
2000
Article (author)
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/170698
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact