神戸大学政治学研究会2015年12月例会報告資料
一部の表が見にくい場合は
http://www.JaySong.net/wp-content/uploads/2015/12/Kobepolisci_Conjoint.pdf
をご参照下さい。
( PDF version is also available in http://www.jaysong.net )
神戸大学政治学研究会2015年12月例会報告資料
一部の表が見にくい場合は
http://www.JaySong.net/wp-content/uploads/2015/12/Kobepolisci_Conjoint.pdf
をご参照下さい。
( PDF version is also available in http://www.jaysong.net )
This is a slide of My talk at Kyoto Nonclassical Logic Workshop (19, November, 2015). This is based on my paper "A constructive naive set theory and infinity" which was accepted to Notre Dame Journal of Formal Logic.
A slide of the talk in Logic and Engineering of Natural Language Semantics (LENLS) 12:
we analyse Friedman-Sheared's truth theory FS from the behavior of truth predicate by a proof theoretic semantics methodology.