論理学
使用者数
6
フォロワー数
0
Home
Articles
Books
全てのカテゴリ
作成日順
高評価数順
解説
...
豊穣ミノリ
25日前
ラムダ計算と Calculus of Constructions の定義解説
論理学
,
計算機科学
,
直観主義論理
104
2
文献あり
解説
...
bisaitama
2022年5月20日
自然言語における継続とCPS文法
論理学
,
計算機科学
,
継続
67
1
文献あり
解説
...
⊥
2022年4月30日
関連性論理に触れてみよう: First Degree Entailment
論理学
,
非古典論理
,
関連性論理
340
0
文献あり
解説
...
⊥
2022年3月29日
様相論理の有限モデル性について
論理学
,
様相論理
349
0
文献あり
解説
...
E
2022年2月24日
直観主義的論理においても排中律は反証不可能である
論理学
933
2
解説
...
mineel
2022年2月23日
命題論理における真偽判定問題の計算可能性について
論理学
,
計算機科学
,
計算論
944
0
文献あり
解説
...
⊥
2022年1月14日
哲学的視点からの直観主義論理入門 [後編]
論理学
,
直観主義論理
,
証明論的意味論
531
5
文献あり
解説
...
⊥
2021年12月24日
哲学的視点からの直観主義論理入門 [前編]
論理学
,
直観主義論理
,
言語哲学
2780
10
文献あり
読み込み中...
読み込み中