Publisher
Springer International Publishing
Reference8 articles.
1. Gabbay, D.M.: Semantical Investigations in Heyting’s Intuitionistic Logic. Synthese Library, Springer, Netherlands (1981)
2. Lecture Notes in Computer Science;H Geuvers,2017
3. Kawano, T., Matsuda, N., Takagi, K.: Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. Notre Dame J. Formal Logic 63(2), 243–259 (2022)
4. Kripke, S.A.: Semantical analysis of intuitionistic logic I. Formal Syst. Recursive Functions 40, 92–130 (1965)
5. Matsuda, N., Takagi, K.: Effect of the choice of connectives on the relation between the logic of constant domains and classical predicate logic (2021). arXiv:2107.03972
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献