Abstract
We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.
Similar content being viewed by others
References
Chagrov, A. V., 1992, ‘The cardinality of the set of maximal intermediate logics with the disjunction property is of continuum’, Matematicheskie Zametki 51, 117–123, Russian.
Chagrov, A. V., and M. V. Zacharyashev, 1991, ‘The disjunction property of intermediate prepositional logics’, Studia Logica 50, 189–216.
Church, A., 1956, Introduction to Mathematical Logic I, Princeton University Press, Princeton.
Ferrari, M., and P. Miglioli, 1995, ‘A method to single out maximal intermediate propositional logics with the disjunction property I’, Annals of Pure and Applied Logic 76, 1–46.
Ferrari, M., and P. Miglioli, 1995, ‘A method to single out maximal intermediate prepositional logics with the disjunction property II’, Annals of Pure and Applied Logic 76, 117–168.
Ferrari, M., and P. Miglioli, 1993, ‘Counting the maximal intermediate constructive logics’, The Journal of Symbolic Logic 58, 1365–1401.
Friedman, H., 1975, ‘On hundred and two problems in mathematical logic’, The Journal of Symbolic Logic 40, 113–129.
Görnemann, S., 1971, ‘A logic stronger than intuitionism’, The Journal of Symbolic Logic 58, 27–32.
Grzegorczyk, A., 1964, ‘A philosophically plausible interpretation of intuitionistic logic’, Indagationes Matematicae 26, 223–231.
Gabbay, D. M., 1970, ‘The decidability of Kreisel-Putnam system’, The Journal of Symbolic Logic 35, 431–437.
Gabbay, D. M., 1981, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht.
Galanter, G. I., 1990, ‘A continuum of intermediate logics which are maximal among the logics having the intuitionistic disjunctionless fragment’, Proceedings of 10th USSR Conference for Mathematical Logic, Alma Ata, Russian, 41.
Harrop, R., 1960, ‘Concerning formulas of the types A → B ∨ C, A → ∃B(x) in intuitionistic formal systems’, The Journal of Symbolic Logic 25, 27–32.
Kirk, R. E., 1982, ‘A result on prepositional logics having the disjunction property’, Notre Dame Journal of Formal Logic 23, 71–74.
Kleene, S. C., 1952, Introduction to Metamathematics, Van Nostrand, New York.
Kolmogorov, A., 1925, ‘O principe tertium non datur’, Mat. Sb. 32, 646–667.
Kreisel, G., and H. Putnam, 1957, ‘Eine Unableitbarkeitsbeweismethode für Intuitionistischen Aussagenkalkül’, Archiv für Mathematische Logik und Grundlagenforschung 3, 74–78.
Maksimova, L. L., 1984, ‘The number of aximal intermediate logics with the disjunction property’, Proceedings of 7th All-Union Conference for Mathematical Logic, Novosibirsk, Russian.
Maksimova, L.L., 1986, ‘On maximal intermediate logics with the disjunction property’, Studia Logica 45, 69–75.
Maksimova, L. L., D. P. Skvorkov and V. B. Sehtman, 1979, ‘The impossibility of a finite axiomatization of Medvedev's logic of finitary problems’, Soviet Mathematics Doklady 20, 394–398.
Minari, P., 1986, ‘Intermediate logics with the same disjunctionless fragment as intuitionistic logic’, Studia Logica 45, 207–222.
Medvedev, T., 1962, ‘Finite problems’, Soviet Mathematics Doklady 3, 227–230.
Miglioli, P., 1992, ‘An infinite class of maximal intermediate propositional logics with the disjunction property’, Archive for Mathematical Logic 31, 415–432.
Miglioli, P., U. Moscato and M. Ornaghi, 1994, ‘How to avoid duplications in a refutation system for intuitionistic logic and Kuroda logic’, Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, editor L. K. Broda and M. D'Agostino and R. Goré and R. Johnson and S. Reeves, Abington, U.K., May 4–6, 169–187.
Miglioli, P., U. Moscato, M. Ornaghi and G. Usberti, 1989, ‘A constructivism based on classical truth’, Notre Dame Journal of Formal Logic 30, 67–90.
Miglioli, P., U. Moscato, M. Ornaghi, S. Quazza and G. Usberti, 1989, ‘Some results on intermediate constructive logics’, Notre Dame Journal of Formal Logic 30, 543–562.
Ono, H., 1972, ‘A study of intermediate predicate logics’, Publications of the Research Institute for Mathematical Sciences 8, 619–649.
Ono, H., 1987, ‘Some problems on intermediate predicate logics’, Reports on Mathematical Logic 21, 55–67.
Prawitz, D., 1965, Natural Deduction. A Proof-Theoretical Study, Almqvist-Wiksell.
Prucnal, T., 1979, ‘On two problems of Harvey Friedman’, Studia Logica 38, 247–262.
Smorinski, C. A., 1973, ‘Applications of Kripke models’, Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, A. S. Troelstra, Lecture Notes in Mathematics 344, Springer-Verlag.
Troelstra, A.S., 1973, ‘Metamathematical Investigation of Intuitionistic Arithmetic and Analysis’, Lecture Notes in Mathematics 344, Springer-Verlag.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Avellone, A., Fiorentini, C., Mantovani, P. et al. On maximal intermediate predicate constructive logics. Stud Logica 57, 373–408 (1996). https://doi.org/10.1007/BF00370841
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370841
Key words
- intermediate predicate logic
- nonstandard intermediate predicate logic
- predicate constructive logic
- nonstandard predicate constructive logic
- maximal predicate constructive logic
- maximal nonstandard predicate constructive logic
- smooth predicate constructive logic