become an editor
the entire directory
only in Publications/Journals
Logic and Foundations
Science: Math: Publications: Journals
Annals of Pure and Applied Logic
- (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.
Archive for Mathematical Logic
- Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers.
Bulletin of Symbolic Logic
- All articles in postscript format.
- (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).
History and Philosophy of Logic
- Publisher's site.
Israel Journal of Mathematics
- Publisher's site.
Journal of Automated Reasoning
- Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
Journal of Functional and Logic Programming
- Electronic journal.
Journal of Logic and Computation
- Publisher's site. Unrestricted access only for subscribers.
Journal of Logic, Language and Information
- Explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences. Free tables of contents and abstracts. Full text to subscribers.
Journal of Mathematical Logic
- World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.
Journal of Philosophical Logic
- Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Sample copy and an archive of tables of contents.
Journal of Symbolic Logic
- Official organ of the Association of Symbolic Logic.
Logic Journal of the IGPL
- (OUP) Official publication of the Interest Group in Pure and Applied Logic.
Mathematical Logic Quarterly
- Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.
Notre Dame Journal of Formal Logic
- Publisher's site, access restricted.
Transactions on Computational Logic
- Devoted to research concerned with all uses of logic in computer science.
" search on:
to edit this category.
Copyright © 1998-2014 AOL Inc.
Visit our sister sites
Last update: April 17, 2014 at 7:15:05 UTC -