Skip to main content
Log in

Halldén-Completeness in Super-Intuitionistic Predicate Logics

Studia Logica Aims and scope Submit manuscript

Abstract

One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Avellone, A., C. Fiorentini, P. Mantovani, and P. Miglioli, ‘On maximal intermediate predicate constructive logics’, Studia Logica 57 (1996), 373–408.

    Google Scholar 

  2. Chagrov, A., and M. Zakharyaschev, ‘The disjunction property of intermediate propositional logics’, Studia Logica, 50 (1991), 189–216.

    Google Scholar 

  3. Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.

  4. Ferrari, M., and P. Miglioli, ‘Counting the maximal intermediate constructive logics’, Journal of Symbolic Logic 58 (1997), 1365–1401.

    Google Scholar 

  5. HalldÉn, S., ‘On the semantic non-completeness of certain Lewis calculi’, Journal of Symbolic Logic, 16(1951), 127–129.

    Google Scholar 

  6. Lemmon, E. J., ‘A note on Halldén-imcompleteness’, Notre Dame Journal of Formal Logic, 7(1966), 296–300.

    Google Scholar 

  7. Maksimova, L., ‘On variable separation in modal and superintuitionistic logics’, Studia Logica 55 (1994), 99–112.

    Google Scholar 

  8. Ono, H., ‘A study of intermediate predicate logics’, Publications of the Research Institute for Mathematical sciences, Kyoto University 8 (1972/73), 619–649.

    Google Scholar 

  9. Shehtman, V. B., and D. P. Skvortsov, ‘Semantics of non-classical first-order predicate logics’, in Mathematical Logic, edited by P. P. Petkov, 105–116, Plenum Press, New York, 1990.

    Google Scholar 

  10. Skvortsov, D., ‘On finite intersections of intermediate predicate logics’, Logic and algebra, 667–688, Lecture Notes in Pure and Applied Mathematics 180, Dekker, New York, 1996.

    Google Scholar 

  11. Suzuki, N.-Y., ‘Intermediate logics characterized by a class of algebraic frames with infinite individual domain’, Bulletin of the Section of Logic, Polish Academy of Sciences 18 (1989), 63–71.

    Google Scholar 

  12. Suzuki, N.-Y., ‘Some syntactical properties of intermediate predicate logics’, Notre Dame Journal of Formal Logic 31 (1990), 548–559.

    Google Scholar 

  13. Suzuki, N.-Y., ‘Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics’, Studia Logica 52 (1993), 73–94.

    Google Scholar 

  14. Suzuki, N.-Y., ‘Constructing a continuum of predicate extensions of each intermediate propositional logic’, Studia Logica 54 (1995), 173–198.

    Google Scholar 

  15. Suzuki, N.-Y., ‘An application of the Kripke sheaf semantics in intermediate predicate logics’, Sūrikaisekikenkyūsho Kōkyūroku No. 1010 (1997), 131–141, (Research Institute for Mathematical Sciences, Kyoto University).

  16. Takano, M., ‘Orderes set R and Q as a bases of Kripke models’, Studia Logica 46 (1987), 137–148.

    Google Scholar 

  17. WroŃski, A., ‘Remarks on Halldén completeness of modal and intermediate logics’, Bulletin of the Section of Logic 5 (1976), 126–129.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Suzuki, NY. Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73, 113–130 (2003). https://doi.org/10.1023/A:1022941407162

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1022941407162

Navigation