Continua of Logics Related to Intuitionistic and Minimal Logics

Kaito Ichikura

doi:10.18778/0138-0680.2025.06

Authors

Kaito Ichikura Tohoku University, Graduate School of Information Sciences Author

DOI:

https://doi.org/10.18778/0138-0680.2025.06

Keywords:

intuitionistic logic, minimal logic, subminimal logic, co-minimal logic, Yankov formula

Abstract

We analyze the relationship between logics around intuitionistic logic and minimal logic. We characterize the intersection of minimal logic and co-minimal logic introduced by Vakarelov, and reformulate logics given in the previous studies by Vakarelov, Bezhanishvili, Colacito, de Jongh, Vargas, and Niki in a uniform language. We also compare the new logic with other known logics in terms of the cardinalities of logics between them. Specifically, we apply Wronski’s algebraic semantics, instead of neighborhood semantics used in the previous studies, to show the existence of continua of logics between known logics and the new logic. This result is an extension of the conventional results, and the proof is given in a simpler way.

References

N. Bezhanishvili, A. Colacito, D. de Jongh, A study of subminimal logics of negation and their modal companions, [in:] Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers 12, Springer (2019), pp. 21–41, DOI: https://doi.org/10.1007/978-3-662-59565-7_2 DOI: https://doi.org/10.1007/978-3-662-59565-7_2

A. Chagrov, M. Zakharyaschev, Modal logic, Oxford University Press (1997). DOI: https://doi.org/10.1093/oso/9780198537793.001.0001

A. Colacito, Minimal and Subminimal Logic of Negation, Master’s thesis, University of Amsterdam (2016), URL: https://eprints.illc.uva.nl/id/eprint/986

A. Colacito, D. de Jongh, A. L. Vargas, Subminimal negation, Soft Computing, vol. 21 (2017), pp. 165–174, DOI: https://doi.org/10.1007/s00500-016-2391-8 DOI: https://doi.org/10.1007/s00500-016-2391-8

T. Hosoi, H. Ono, Intermediate propositional logics (a survey), Journal of Tsuda College, vol. 5 (1973), pp. 67–82.

I. Johansson, Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, Compositio Mathematica, vol. 4 (1937), pp. 119–136, URL: http://eudml.org/doc/88648

S. Niki, Decidable variables for constructive logics, Mathematical Logic Quarterly, vol. 66(4) (2020), pp. 484–493, DOI: https://doi.org/10.1002/malq.202000022 DOI: https://doi.org/10.1002/malq.202000022

S. Niki, Subminimal logics in light of Vakarelov’s logic, Studia Logica, vol. 108(5) (2020), pp. 967–987, DOI: https://doi.org/10.1007/s11225-019-09884-z DOI: https://doi.org/10.1007/s11225-019-09884-z

H. Ono, On some intuitionistic modal logics, Publications of the Research Institute for Mathematical Sciences, vol. 13(3) (1977), pp. 687–722. DOI: https://doi.org/10.2977/prims/1195189604

N. Suzuki, The existence of 2ω logics lacking the weakening rule below the intuitionistic logic, Reports on Mathematical Logic, vol. 21 (1987), pp. 85–95.

M. Takano, A Syntactical Study of the Subminimal Logic with Nelson Negation, Nihonkai Mathematical Journal, vol. 18(1–2) (2007), pp. 17–31, URL: https://projecteuclid.org/journals/nihonkai-mathematical-journal/volume-18/issue-1-2/A-Syntactical-Study-of-the-Subminimal-Logic-with-Nelson-Negation/nihmj/1273587757.full

D. Vakarelov, Consistency, Completeness and Negation, [in:] G. Priest, R. Routley, J. Norman (eds.), Paraconsistent Logic: Essays on the inconsistent, Philosophia Verlag (1989), pp. 328–363. DOI: https://doi.org/10.2307/j.ctv2x8v8c7.15

D. Vakarelov, Nelson’s negation on the base of weaker versions of intuitionistic negation, Studia Logica, vol. 80 (2005), pp. 393–430, DOI: https://doi.org/10.1007/s11225-005-8476-5 DOI: https://doi.org/10.1007/s11225-005-8476-5

P. W. Woodruff, A note on JP, Theoria, vol. 36 (2008), pp. 183–184, URL: https://api.semanticscholar.org/CorpusID:145545536 DOI: https://doi.org/10.1111/j.1755-2567.1970.tb00419.x

A. Wroński, The degree of completeness of some fragments of the intuitionistic propositional logic, Reports on Mathematical Logic, vol. 2 (1974).

V. Yankov, On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures, Doklady Akademii Nauk SSSR, vol. 151(6) (1963), pp. 1293–1294.

V. Yankov, The construction of a sequence of strongly independent superintuitionistic propositional calculi, Doklady Akademii Nauk SSSR, vol. 181 (1968), pp. 33–34.