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 algebraic papers, constituting the major part of the contents, are concerned with studies in such fields as ordered, almost torsion-free, nilpotent, and metabelian groups; isomorphism rings; Lie algebras; Frattini subgroups; and clusters of algebras.

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

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

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 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. Applications of non-classical logics to AI and cognitive science: knowledge representation, automated reasoning, naturel language. Theoretical computer science: program verification, program synthesis.

Published quarterly, History and Philosophy of Logic is devoted to the study of the historical development of logic and its broader philosophical concerns. The journal also deals with general philosophical questions in logic - existential and ontological aspects, the relationship between classical and non-classical logics - including their historical development.

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.

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.

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. The editors' aim is to publish well-written papers presenting new and important research results in the above-mentioned disciplines. From 2006, the journal has appeared quarterly.