このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2020-02-08から1日間の記事一覧

互換な演繹システムとシーケント、そして矢印記号

論理で使う“「ならば」っぽい記号”、“矢印的な記号”については過去に述べたことがあります。 含意<がんい>から伴意<ばんい>へ*1 さまざまな「ならば」達 論理におけるさまざまな「矢印」達 論理/メタ論理の記法をどうするか 2: 悟りへの道 何が主たる問…