- ACM Transactions on Computational Logic
- Covers the field of computational logic consisting of all uses of logic in computer science.
- Archive for Mathematical Logic
- Articles available to subscribers. Non-subscribers may purchase articles online.
- Bulletin of Symbolic Logic
- Articles in postscript, available for free download.
- Electronic Journal on Pure and Applied Logic
- Articles available in dvi or postscript.
- Fundamenta Mathematicae
- Focuses on papers on set theory, mathematical logic and foundations of mathematics, topology and its interactions with algebra, and dynamical systems.
- History and Philosophy of Logic
- Available for subscription.
- Israel Journal of Mathematics
- With indices available in ps, dvi, tex, or pdf.
- Journal of Functional and Logic Programming
- Electronic journal covering topics from functional and logic programming. Available in postscript or pdf.
- Journal of Logic and Computation
- Provides free access to abstracts. Full text available to subscribers, or may be purchased by non-subscribers.
- Journal of Mathematical Logic
- Offers free online sample issues and abstracts. Full text available in pdf to subscribers.
- Journal of Symbolic Logic
- Publishes articles on symbolic logic, including its connections with mathematics and philosophy as well as computer science and linguistics. Full text available to ASL members via JSTOR.
- Logic Journal of the IGPL
- Publishes papers in all areas of pure and applied logic. Full text available to subscribers.
- Modern Logic
- Journal for the history, philosophy, invention and pedagogy of modern logic, set theory, and the foundations of mathematics. With links to subscription and publication information.
- Nordic Journal of Philosophical Logic
- Articles available in pdf. Restricted to subscribers only.
- Notre Dame Journal of Formal Logic
- Publishes works of researchers on logic and foundations of mathematics.
- ScienceDirect Top 25 Hottest Articles
- List of the top articles in the Annals of Pure and Applied Logic journal.
- Studia Logica
- Publishes original papers on logical systems, which utilize methods of contemporary formal logic, those of algebra, model theory and proof theory.
|