Get started
Author

Yosuke Fukuda

Observed names: Fukuda, Yosuke, Yousuke Fukuda
ORCID: 0000-0003-3814-8628
Observed ORCID: 0000-0003-3814-8628
OpenAlex ID: A5013440741
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
2019 · Fukuda, Yosuke, Yoshimizu, Akira · arXiv (Cornell University) · 2
PDF
Classification of Food Challenges and Values Based on Open-ended Responses
2025 · Kyoko Ito, Yosuke Fukuda · AHFE international · 1
A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction
2017 · Yosuke Fukuda, Ryosuke Igarashi · Lecture notes in computer science · 1
Deep structure of the Beppu hydrothermal system, Kyushu, Japan
1995 · Yoichi Yusa, Shinji Ohsawa, et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1
Comparison of Three Countries on Food Challenges and Values Based on Open-Ended Statements in Questionnaires
2025 · Kyoko Ito, Yousuke Fukuda · Lecture notes in computer science
An S4 extension of the λμμ-calculus
2023 · Yosuke Fukuda · Journal of Information Processing
PDF
A Higher-arity Sequent Calculus for Model Linear Logic (Proof theory and proving)
2018 · Yosuke Fukuda, Akira Yoshimizu · 数理解析研究所講究録
Postseismic Displacement Following the Sumatra-Andaman Earthquake Detected by Continuous GPS Observation and the Effect of Viscoelastic Relaxation Using 3D- FEM
2007 · T. Katagi, Manabu Hashimoto, et al. · AGUFM
Works count: 8
Citation count: 5
H-index: 1
I10-index:
Year
Topic
Type