Notre Dam J. Formal Logic に掲載された下記の論文をreview しましたので、御案内しておきます。 にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=xonSQNbSvNk