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.
Similar content being viewed by others
References
Avellone, A., C. Fiorentini, P. Mantovani, and P. Miglioli, ‘On maximal intermediate predicate constructive logics’, Studia Logica 57 (1996), 373–408.
Chagrov, A., and M. Zakharyaschev, ‘The disjunction property of intermediate propositional logics’, Studia Logica, 50 (1991), 189–216.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.
Ferrari, M., and P. Miglioli, ‘Counting the maximal intermediate constructive logics’, Journal of Symbolic Logic 58 (1997), 1365–1401.
HalldÉn, S., ‘On the semantic non-completeness of certain Lewis calculi’, Journal of Symbolic Logic, 16(1951), 127–129.
Lemmon, E. J., ‘A note on Halldén-imcompleteness’, Notre Dame Journal of Formal Logic, 7(1966), 296–300.
Maksimova, L., ‘On variable separation in modal and superintuitionistic logics’, Studia Logica 55 (1994), 99–112.
Ono, H., ‘A study of intermediate predicate logics’, Publications of the Research Institute for Mathematical sciences, Kyoto University 8 (1972/73), 619–649.
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.
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.
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.
Suzuki, N.-Y., ‘Some syntactical properties of intermediate predicate logics’, Notre Dame Journal of Formal Logic 31 (1990), 548–559.
Suzuki, N.-Y., ‘Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics’, Studia Logica 52 (1993), 73–94.
Suzuki, N.-Y., ‘Constructing a continuum of predicate extensions of each intermediate propositional logic’, Studia Logica 54 (1995), 173–198.
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).
Takano, M., ‘Orderes set R and Q as a bases of Kripke models’, Studia Logica 46 (1987), 137–148.
WroŃski, A., ‘Remarks on Halldén completeness of modal and intermediate logics’, Bulletin of the Section of Logic 5 (1976), 126–129.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1022941407162