論理系の雑誌まとめ

logic memo

探してみました。ついでに最近の論文のタイトルを眺めて特徴を比較してみました。でもあんまり読めてる自信ないので鵜呑みにしないでください。

Algebra and Logic

http://www.springer.com/mathematics/algebra/journal/10469
http://math.nsc.ru/~alglog/

群・束・普遍代数などがメイン？ロシア語の雑誌の翻訳。

Annals of Pure and Applied Logic

http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/description#description

モデル理論，再帰理論，集合論，代数的論理。ときどき証明論とか非古典論理を見かける。

Archive for Mathematical Logic

http://www.springer.com/mathematics/journal/153

モデル理論，再帰理論，集合論あたり？構成的数学の話も目につく。証明論，非古典論理への代数的アプローチもいくつか。結構広い範囲をカバーしている雑誌かもしれない。

Bulletin of Symbolic Logic

http://www.aslonline.org/journals-bulletin.html

研究論文以外の記事が多い？記事の方向性としては JSL に似ているような気がする。

Bulletin ということで，普通の Journal とは性格が違うみたい。あまり位置付けがわかってないのだけど。

Journal of Applied Logic

http://www.elsevier.com/wps/find/journaldescription.cws_home/672712/description#description

論理の他分野への応用が中心らしい。ソフトウェア，確率統計など？fuzzy 制御とかもだろうか，よくわからない。

Journal of Applied Non-classical Logics

http://jancl.e-revues.com/

logic programming, verification など CS への応用が多め。

でも pure logic と言ったほうが近いように思える論文もそこそこ目に付く。

Journal of Logic and Computation

http://logcom.oxfordjournals.org/

セキュリティ，検証，自動証明などが目につく。計算機に関わる応用全般？

Journal of Logic, Language and Information

http://www.springer.com/philosophy/logic+and+philosophy+of+language/journal/10849

自然言語，人工言語，ゲーム理論。広い意味での認知科学(？)への論理の応用。

道具としては epistemic/temporal/dynamic logics あたりが中心に見える。

Journal of Mathematical Logic

http://www.worldscinet.com/jml/

JSL に近い雰囲気に見える。あんまりよくわからない。非古典論理はあまり扱ってないような気がした。

Journal of Philosophical Logic

http://www.springer.com/philosophy/logic+and+philosophy+of+language/journal/10992

言語，認知，倫理など。広い意味での様相論理がよく見られる。

あとは，論理とは何か，真理とは何か，というような根源的な問いにつながる話，なのだろうか。

Journal of Symbolic Logic

http://www.aslonline.org/journals-journal.html

論理の手法を使って，集合・群・位相など数学に関わる諸概念の分析をするものが多いような印象。

非古典論理や代数的アプローチの論文はあまり見当たらない？

Logic Journal of the IGPL

わりと広範囲にわたっている気がする。応用的なものも含む。代数，部分構造論理，様相論理，ゲーム理論など。

モデル理論とか再帰理論・逆数学なんかは少ないかも。

Mathematical Logic Quarterly

http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/
http://www3.interscience.wiley.com/journal/117943446/grouphome/home.html

多値論理やその代数に関する論文がある。他は集合論・モデル理論・逆数学など？

Notre Dame Journal of Formal Logic

http://www.nd.edu/~ndjfl/

逆数学，再帰理論，モデル理論など。probability という言葉が散見される。

たまに部分構造論理，様相論理などの非古典論理。

Reports on Mathematical Logic

http://www.iphils.uj.edu.pl/rml/rml.htm

非古典論理と代数的な話が多い気がする。全体的に理論寄り？応用という感じの論文は少ない。

Studia Logica

http://www.springer.com/journal/11225/about

多値論理や部分構造論理など。やや哲学寄り？

probability という言葉がときどき目につく。代数や量子論理も見かける。

公式サイト http://www.studialogica.org/ を見ると，「論理を使って何をするか」ということに重点を置いている印象。

The Review of Modern Logic

http://projecteuclid.org/rml

記号論理・数学基礎論・集合論の雑誌，ということらしい。

最新号が 2005 年。最近はあまり出てないみたい。