Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Naosuke Matsuda"'
Autor:
Yoshiki Nakamura, Naosuke Matsuda
Publikováno v:
Studia Logica. 109:1413-1422
The Komori–Kashima problem, that asks whether (or not) the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aee456162b8935fcc7720df93e8d9db4
https://doi.org/10.1007/s11225-021-09955-0
https://doi.org/10.1007/s11225-021-09955-0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic
Publikováno v:
Notre Dame Journal of Formal Logic. 63
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6410302b111e7d33c5f8fba6fd21375
https://doi.org/10.1215/00294527-2022-0016
https://doi.org/10.1215/00294527-2022-0016
Autor:
Naosuke Matsuda, Kento Takagi
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783031152979
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6019beb5ad2ed2009d189ed5b80ea116
https://doi.org/10.1007/978-3-031-15298-6_11
https://doi.org/10.1007/978-3-031-15298-6_11
Autor:
NAOSUKE MATSUDA1 matsuda.naosuke@gmail.com
Publikováno v:
Logic Journal of the IGPL. Oct2017, Vol. 25 Issue 5, p686-696. 11p.
Publikováno v:
Studia Logica. 103:1225-1244
The third author gave a natural deduction style proof system called the $${{\lambda}{\rho}}$$??-calculus for implicational fragment of classical logic in (Komori, Tsukuba J Math 37:307---320, 2013). In (Matsuda, Intuitionistic fragment of the $${{\la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62c6072177f219bd64988f1aee4f2354
https://doi.org/10.1007/s11225-015-9616-1
https://doi.org/10.1007/s11225-015-9616-1
Publikováno v:
Studia Logica. 102:175-183
Takahashi translation * is a translation which means reducing all of the redexes in a ?-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church---Rosser confluence theorem by using the notion of parallel reduction and Takahas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe6fa1b74b72ccec07710ef008ddee23
https://doi.org/10.1007/s11225-013-9470-y
https://doi.org/10.1007/s11225-013-9470-y