3 papers
cs.LO2025
A Categorical Foundation of Rough Sets
Yoshihiko Kakutani
Rough sets are approximations of concrete sets. The theory of rough sets has been used widely for data-mining. While it is well-known that adjunctions are underlying in rough appro…
cs.LO2018
Modality via Iterated Enrichment
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly…
cs.LO2016
Calculi for Intuitionistic Normal Modal Logic
Yoshihiko Kakutani
This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box fragment of the intuitionistic modal logic IK. The…