HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 5 of 5
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
bulletin (article)深山, 洋平F.W. ローヴェアによる随伴関手を用いた集合論の基礎の理解とその展望F.W. Lawvere's understanding of the foundation of the set theory using adjoint functors and its perspective哲学Annals of the Philosophical Society of Hokkaido University18-Jul-2006
proceedingsKitamura, Hisashi; Nakatogawa, Koji; Fukayama, YoheiSubstructuralized Modal Logics Applied to the Two girls Puzzle-SOCREAL 2007: Proceedings of the International Workshop on Philosophy and Ethics of Social Reality, Sapporo, Japan, 2007 / editor Tomoyuki Yamada-2007
proceedingsFukayama, Yohei; Nakatogawa, Koji; Kitamura, HisashiToward sheaf semantics for a multi-agent substructural modal logic-Proceedings of SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013-25-Oct-2013
bulletin (article)深山, 洋平煙から火を導出すること : トポス理論の観点からInference from Smoke to Fre : from the Viewpoint of Topos Theory哲学Annals of the Philosophical Society of Hokkaido University2-Dec-2018
bulletin (article)深山, 洋平圏論と構造主義Category theory and structuralis研究論集Research Journal of Graduate Students of Letters26-Dec-2012
Showing results 1 to 5 of 5

 

Hokkaido University