Shunsuke Yatabe

Sort by

Latest

Most popular

[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」

[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」

[2021CAPE公開セミナー] 論理学上級 Ⅱ-2「カリー・ハワード対応と『証明のデータ型としての命題』観」

[2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」

構成と解体:原始再帰関数の計算と推論の共通点

[2020CAPE公開セミナー] 論理学上級 I-3「デフレ主義的真理理論」

[2020CAPE公開セミナー] 論理学上級 I-4 「ヤブローのパラドックスと余帰納法」

[2020CAPE公開セミナー] 論理学上級 I-1 「ウソツキのパラドックス傾向と対策（総論）」

[2020CAPE公開セミナー] 論理学上級 I-2「タルスキの真理定義」

Truth as a logical connective?

科哲Ws2010 101127a

A constructive naive set theory and infinity

Truth as a logical connective

Outetsu 100424r

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