Author:
Fujiwara Makoto,Kurahashi Taishi
Funder
Japan Society for the Promotion of Science
Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierarchy of the law of excluded middle and related principles. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04), pp. 192–201 (2004). https://doi.org/10.1109/LICS.2004.1319613
2. Enderton, H.B.: A Mathematical Introduction to Logic. Elsevier Science, Amsterdam (2001)
3. Shoenfield, J.R.: Mathematical Logic. Taylor & Francis, Abingdon (2001)
4. Mints, G.E.: Solvability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers. In: Steklov Inst, vol. 98, pp. 135–145 (1968)
5. Schubert, A., Urzyczyn, P., Zdanowski, K.: On the Mints hierarchy in first-order intuitionistic logic. Log. Methods Comput. Sci. (2017). https://doi.org/10.2168/LMCS-12(4:11)2016