Abstract
We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \(\mathbf {SUBMIN}\), using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bezhanishvili, N., A. Colacito, and D. de Jongh, A study of subminimal logics of negation and their modal companions, in International Tbilisi Symposium on Logic, Language, and Computation, Springer, 2018, pp. 21–41.
Bílková, M., and A. Colacito, Proof theory for positive logic with weak negation, Studia Logica, 2019. https://doi.org/10.1007/s11225-019-09869-y.
Colacito, A., Minimal and Subminimal Logic of Negation, Master’s thesis, University of Amsterdam, 2016.
Colacito, A., D. de Jongh, and A.L. Vargas, Subminimal negation, Soft Computing 21:165–174, 2017.
Johansson, I., Der minimalkalkül, ein reduzierter intuitionistischer formalismus, Compositio Mathematica 4:119–136, 1937.
Kolmogorov, A.N., On the principle of excluded middle, in J. van Heienoort, (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, toExcel, 1999, pp. 414–437.
Nelson, D., Constructible falsity, The Journal of Symbolic Logic 14(1):16–26, 1949.
Troelstra, A.S., and H. Schwichtenberg, Basic Proof Theory, second edn., Cambridge University Press, 2000.
Troelstra, A.S., and D. van Dalen, Constructivism in Mathematics: An Introduction, vol. I, Elsevier, 1988.
Vakarelov, D., Consistency, completeness and negation, in G. Priest, R. Routley, and J. Norma, (eds.), Paraconsistent Logic: Essays on the Inconsistent, Analytica, Philosophia Verlag, 1989, pp. 328–363.
Vakarelov, D., Nelson’s negation on the base of weaker versions of intuitionistic negation, Studia Logica 80:393–430, 2005.
Acknowledgements
This research was supported by the Japan Society for the Promotion of Science (JSPS), Core-to-Core Program (A. Advanced Research Networks). A part of this paper was written during the visit of the author to the Hausdorff Research Institute for Mathematics (HIM), University of Bonn, from May to August 2018. The support for this visit and the hospitality of HIM are gratefully acknowledged. The author thanks anonymous referees for their helpful comments, and Hajime Ishihara and Takako Nemoto for their encouragement and many valuable suggestions during the production of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Heinrich Wansing
Rights and permissions
About this article
Cite this article
Niki, S. Subminimal Logics in Light of Vakarelov’s Logic. Stud Logica 108, 967–987 (2020). https://doi.org/10.1007/s11225-019-09884-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09884-z