Abstract
We prove that Maksimova’s Criterion of disjunctive property for intermediate logics can be extended to the varieties with equationally definable principal meets in which disjunction is introduced via principal intersection terms. We also give a necessary condition for semiconstructvity, and show how it can be applied to admissibility of multiple-conclusion rules expressing semiconstructivity.
Dedicated to L.L. Maksimova who has always been for me a role model, as a scientist as well as an individual.
This is a preview of subscription content, log in via an institution to check access.
References
Agliano, P., & Baker, K. A. (1999). Congruence intersection properties for varieties of algebras. Journal of the Australian Mathematical Society, Ser. A, 67(1), 104–121.
Baker, K. A. (1977). Finite equational bases for finite algebras in a congruence-distributive equational class. Advances in Mathematics, 24(3), 207–243.
Blok, W. J., & Pigozzi, D. (1986). A finite basis theorem for quasivarieties. Algebra Universalis, 22(1), 1–13.
Burris, S., & Sankappanavar, H. P. (1981). A course in universal algebra (Vol. 78)., Graduate texts in mathematics New York: Springer.
Castiglioni, J. L., & Martín, H. J. (2011). Compatible operations on residuated lattices. Studia Logica, 98(1–2), 203–222.
Chagrov, A., & Zakharyaschev, M. (1993). The undecidability of the disjunction property of propositional logics and other related problems. Journal of Symbolic Logic, 22, 967–1002.
Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. New York: Oxford Science Publications.
Cintula, P., & Noguera, C. (2013). The proof by cases property and its variants in structural consequence relations. Studia Logica, 101(4), 713–747.
Czelakowski, J. (1983). Matrices, primitive satisfaction and finitely based logics. Studia Logica, 42(1), 89–104.
Czelakowski, J. (1984). Remarks on finitely based logics. Models and sets (Aachen, 1983) (Vol. 1103, pp. 147–168)., Lecture notes in mathematics Berlin: Springer.
Czelakowski, J. (2001). Protoalgebraic logics (Vol. 10)., Trends in logic Dordrecht: Kluwer Academic Publishers.
Czelakowski, J., & Dziobiak, W. (1990). Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Universalis, 27(1), 128–149.
Dzik, W., & Suszko, R. (1977). On distributivity of closure systems. Bulletin of the Section of Logic, 6(2), 64–66.
Ferrari, M., & Miglioli, P. (1993). Counting the maximal intermediate constructive logics. Journal of Symbolic Logic, 58(4), 1365–1401.
Font, J. M., & Jansana, R. (1996). A general algebraic semantics for sentential logics (Vol. 7)., Lecture notes in logic Berlin: Springer.
Gabbay, D. M., & De Jongh, D. H. J. (1974). A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Journal of Symbolic Logic, 39, 67–78.
Galatos, N., Jipsen, P., Kowalski, T., & Ono, H. (2007). Residuated lattices: an algebraic glimpse at substructural logics (Vol. 151)., Studies in logic and the foundations of mathematics Amsterdam: Elsevier B. V.
Gentzen, G. (1935). Untersuchungen über das logische Schließen. II, Mathematische Zeitschrift, 39(1), 405–431.
Gödel, K. (1986). Collected works. Publications 1929–1936, Edited and with a preface by Solomon Feferman (1986) (Vol. I). New York: The Clarendon Press, Oxford University Press.
Goudsmit, J. (2015). Intuitionistic Rules Admissible Rules of Intermediate Logics, Ph.D. thesis, Utrecht University.
Grätzer, G. (2008). Universal algebra (2nd ed.). New York: Springer.
Gudovschikov, V., & Rybakov, V. (1982). Dizyunktivnoe svoystvo v modalnykh logikakh. In Proceedings of 8th USSR Conference “Logic and Methodology of Science” (pp. 35–36). Vilnus.
Horčík, R., & Terui, K. (2011). Disjunction property and complexity of substructural logics. Theoretical Computer Science, 412(31), 3992–4006.
Humberstone, L. (2011). The connectives. Cambridge: MIT Press.
Jónsson, B. (1967). Algebras whose congruence lattices are distributive. Mathematica Scandinavica, 21, 110–121.
Kreisel, G., & Putnam, H. (1957). Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul. Archiv für Mathematische Logik und Grundlagenforschung, 3, 74–78.
Łukasiewicz, J. (1952). On the intuitionistic theory of deduction. Indagationes Mathematicae, 14, 202–212.
Maksimova, L. L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45(1), 69–75.
McKinsey, J. C. C., & Tarski, A. (1948). Some theorems about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic, 13, 1–15.
Muravitsky, A. (2014). Logic KM: a biography. In G. Bezhanishvili (Ed.), Leo Esakia on duality in modal and intuitionistic logics (Vol. 4, p. 155). Springer: Outstanding Contributions to Logic Dordrecht.
Wroński, A. (1973). Intermediate logics and the disjunction property. Reports on Mathematical Logic, 1, 39–51.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Citkin, A. (2018). A Generalization of Maksimova’s Criterion for the Disjunction Property. In: Odintsov, S. (eds) Larisa Maksimova on Implication, Interpolation, and Definability. Outstanding Contributions to Logic, vol 15. Springer, Cham. https://doi.org/10.1007/978-3-319-69917-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-69917-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-69916-5
Online ISBN: 978-3-319-69917-2
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)