Scribble at 2022-04-20 09:00:46 Last modified: unmodified
Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
数学の書籍を公開している場合もあって、たまにアクセスするプロジェクト・ユークリッドだが、毎回のように思うのがサーバの遅さやレスポンス品質の悪さ(タイムアウトが多い)だ。利用実態にスペックが追い付いていないのは明らかなので、ウィキペディアのようにしつこくバナーを掲載したり運営者からの挨拶でも掲載して寄付をつのってはどうだろう。Cornel と Duke の予算だけでは無理なんじゃないか。
その中で、上記は2年前までの論説がオープン・アクセスになっている Notre Dame Journal of Formal Logic だ。ブール代数について興味深い論説が数多く掲載されていて助かる。それから、刊行され始めてから暫くは分析哲学者として知られている人々も(その多くはプロパーの論理学者でもあったから当たり前だが)論説を発表している。意外に mereology や論理学史の論説も(圧倒的に多いのは様相論理の論文だが)多いので、そちらの関心から言っても興味深いジャーナルだ。