証明論的意味論の具体例

真理の度合理論は適切か？ 〜ファジイ論理と真理理論〜

Outetsu 100424r

透明な真理観を巡って

Truth as a logical connective

Truth as a logical connective?

現代文化学基礎演習I／哲学(演習) 2016 授業スライド（2）

A constructive naive set theory and infinity

科哲Ws2010 101127a