Rodrigo Nicolau Almeida

このノートは、分配格子を使ってヘイティング代数を構築することとその影響について話してるよ。

論理フレームワーク内でルールがどのように相互作用するかの概要。

画像有限ポスセットを使って直観主義モーダル論理のコア代数的意味論を探る。

最大性原理が論理において果たす役割や、選択や構造との関連について探ろう。