This journal publishes results of the latest research in the areas of modern general algebra and of logic considered primarily from an algebraic viewpoint.

Interuniversity Master

This journal publishes results of the latest research in the areas of modern general algebra and of logic considered primarily from an algebraic viewpoint.

The *Annals of Pure and Applied Logic* publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic.

The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role.

*The Bulletin of Symbolic Logic* was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible.

The *Bulletin of the Section of Logic *(BSL) is a quarterly peer-reviewed journal published with support of the University of Lodz. Its aim is to act as a forum for timely wide dissemination of novel, significant results in logic through rapid publication of papers not exceding 18 pages...

Published quarterly, History and Philosophy of Logic is devoted to the study of the historical development of logic and its broader philosophical concerns.

This journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent.

The Journal of Applied Non-classical Logics, published quarterly, is the key publication for the newest research in the field. Contributions from experts report on developments in the following areas: Formal aspect of non-classical formalisms: completeness, decidability, complexity.

The *Journal of Logic and Computation* aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic,...

The *Journal of Mathematical Logic* was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications.

The *Journal of Philosophical Logic* is a peer-reviewed scientific journal founded in 1972. It is published by Springer and "provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical."

*Logic and Logical Philosophy* is a journal chiefly devoted to philosophical logic and philosophy resulting from the application of logical tools to philosophical problems. Other logical topics and applications of logic to related disciplines are not excluded.

*Logic Journal of the IGPL* publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic...

*Logica Universalis* is a peer-reviewed academic journal which covers research related to universal features of logic.

*Logique et Analyse* is the continuation of *Bulletin Intérieur*, which was published from 1954 on by the Belgian National Centre for Logical Investigation, and intended originally only as an internal publication of results for its members and collaborators.

A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science.

*The Notre Dame Journal of Formal Logic* provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.

*Reports on Mathematical Logic* is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics.

*Studia Logica* publish papers presenting original results on formal systems and employing formal tools of mathematics and broadly understood logic.

*The 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.

*The Journal of Symbolic Logic* publishes research in mathematical logic and its applications of the highest quality. Papers are expected to exhibit innovation and not merely be minor variations on established work....

*The Review of Symbolic Logic* is designed to cultivate research on the borders of logic, philosophy, and the sciences, and to support substantive interactions between these disciplines. The journal welcomes submissions in any of the following areas, broadly construed: