Skip to main content Accessibility help
×
Home

All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete

  • Camillo Fiorentini (a1)

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 ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

Copyright

References

Hide All
[1]Anderson, J. G., Superconstructive propositional calculi with extra schemes containing one variable, Zeitschrift fÜr Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 113130.
[2]Chagrov, A. and Zakharyaschev, M., The disjunction property of intermediate propositional logics, Studia Logica, vol. 50 (1991), no. 2, pp. 189216.
[3], Modal logic, Oxford University Press, 1997.
[4]Cresswell, M. J. and Hughes, G. E., An introduction to modal logic, Methuen, London, 1968.
[5]Ferrari, M. and Miglioli, P., A method to single out maximal propositional logics with the disjunction property I, Annals of Pure and Applied Logic, vol. 76 (1995), pp. 146.
[6]Ferrari, M. and Miglioli, P.A method to single out maximal propositional logics with the disjunction property II, Annals of Pure and Applied Logic, vol. 76 (1995), pp. 117168.
[7]Fiorentini, C., Kripke completeness for intermediate logics, PhD thesis, Dipartimento di Scienze dell'Informazione. UniversitÀ degli Studi di Milano, Italy, 1999, available at http://gongolo.usr.dsi.unimi.it/~fiorenti.
[8]Ghilardi, S. and Miglioli, P., On canonicity and strong completeness conditions in intermediate propositional logics, Studia Logica, vol. 63 (1999), no. 3, pp. 353385.
[9]Ghilardi, S. and Zawadowski, M., A sheaf representation and duality for finitely presented Heyting algebras, this Journal, vol. 60 (1995), no. 3, pp. 911939.
[10]Levy, A., Basic set theory, Springer-Verlag, Berlin, 1979.
[11]Nishimura, I., On formulas of one variable in intuitionistic propositional calculus, this Journal, vol. 25 (1960), pp. 327331.
[12]Shimura, T., On completeness of intermediate predicate logics with respect to Kripke semantics, Bulletin of the Section of Logic, vol. 24 (1995), pp. 4145.
[13]Sobolev, S. K., On the finite approximability of superintuitionistk logics, Mathematics of USSR, Sbornik, vol. 31 (1977), pp. 257268.
[14]Zakharyaschev, M., Canonical formulas for K4. III. The finite model property, this Journal, vol. 62 (1997), no. 3, pp. 950975.

Keywords

Related content

Powered by UNSILO

All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete

  • Camillo Fiorentini (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.