Yosuke Fukuda

Orcid: 0000-0003-3814-8628

Affiliations:

According to our database¹, Yosuke Fukuda authored at least 4 papers between 2017 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Comparison of Three Countries on Food Challenges and Values Based on Open-Ended Statements in Questionnaires.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction, 2025

2023

An S4 extension of the λμμ-calculus.

[BibT_eX]

[DOI]

J. Inf. Process., 2023

2019

A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2017

A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017