新規作成
論理学
6
Contributors
0
Followers
ホーム
記事
本
人気の記事
大学数学基礎
解説
⊥
2021年12月24日
哲学的視点からの直観主義論理入門 [前編]
論理学
,
直観主義論理
,
言語哲学
15
0
4598
0
文献あり
大学数学基礎
解説
⊥
2022年1月14日
哲学的視点からの直観主義論理入門 [後編]
論理学
,
直観主義論理
,
証明論的意味論
6
0
1074
0
文献あり
大学数学基礎
解説
豊穣ミノリ
2023年5月7日
ラムダ計算と Calculus of Constructions の定義解説
論理学
,
計算機科学
,
直観主義論理
6
0
330
0
文献あり
4
4
現代数学
解説
E
2022年2月24日
直観主義的論理においても排中律は反証不可能である
論理学
3
0
1610
0
5
5
大学数学基礎
解説
bisaitama
2022年5月20日
自然言語における継続とCPS文法
論理学
,
計算機科学
,
継続
2
0
202
0
文献あり
新着の記事
大学数学基礎
議論
論理学者
9月4日
量化記号の分配則を導いてみる
論理学
1
0
125
0
初心者
文献あり
大学数学基礎
解説
豊穣ミノリ
2023年5月7日
ラムダ計算と Calculus of Constructions の定義解説
論理学
,
計算機科学
,
直観主義論理
6
0
330
0
文献あり
大学数学基礎
解説
bisaitama
2022年5月20日
自然言語における継続とCPS文法
論理学
,
計算機科学
,
継続
2
0
202
0
文献あり
大学数学基礎
解説
⊥
2022年4月30日
関連性論理に触れてみよう: First Degree Entailment
論理学
,
非古典論理
,
関連性論理
1
0
935
0
文献あり
大学数学基礎
解説
⊥
2022年3月29日
様相論理の有限モデル性について
論理学
,
様相論理
1
0
711
0
文献あり