Shunsuke Yatabe

22 Seguidores

18 SlideShares 22 Seguidores 19 Seguindos

18 SlideShares 22 Seguidores 19 Seguindos

logic

Ver mais

Atividades
Sobre

On the meaning of truth degrees

Há 14 anos • 546 Visualizações

透明な真理観を巡って

Há 14 anos • 941 Visualizações

証明論的意味論の具体例

Há 13 anos • 1196 Visualizações

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

Há 13 anos • 1024 Visualizações

Outetsu 100424r

Há 13 anos • 1010 Visualizações

Truth as a logical connective

Há 8 anos • 632 Visualizações

A constructive naive set theory and infinity

Há 8 anos • 15410 Visualizações

科哲Ws2010 101127a

Há 8 anos • 1306 Visualizações

Truth as a logical connective?

Há 7 anos • 337 Visualizações

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

Há 3 anos • 1790 Visualizações

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

Há 3 anos • 1726 Visualizações

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

Há 3 anos • 1601 Visualizações

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

Há 3 anos • 1548 Visualizações

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

Há 2 anos • 1340 Visualizações

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

Há 2 anos • 1402 Visualizações

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

Há 2 anos • 1249 Visualizações

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

Há 2 anos • 1217 Visualizações

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

Há 2 anos • 1169 Visualizações

logic

Ver mais