Revistas de lógica
|
Journal of Applied Non-Classical Logics
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....
|
|
Journal of Logic and Computation
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, constructive logic, categorical logic, modal logic, type theory,...
|
|
Journal of Mathematical 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.
|
|
Journal of Philosophical Logic
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."
Accordingly, the Journal...
|
|
Logic and Logical Philosophy
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-...
|
|
Logic Journal of the IGPL
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,...
|
|
Logica Universalis
Logica Universalis is a peer-reviewed academic journal which covers research related to universal features of logic. Topics covered include tools and techniques for studying existing systems of logic and constructing new ones, the study of the various classes of logical systems, the scope of...
|
|
Logique et Analyse
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.
|
|
Mathematical Logic Quarterly
A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science.
Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion...
|
|
Notre Dame Journal of Formal Logic
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.
|