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 programming, logic and computation, logic and language, and logic engineering.The journal is published in both hard copy and in electronic form. Contact OUP for futher details of electronic subscription.
Logica Universalis (LU) publishes peer-reviewed research papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also philosophical and historical aspects of general concepts of logiC.
Bibliographic Data
Log. Univers.
First published in 2007
1 volume per year, 4 issues per volume
approx. 500 pages per volume
Format: 15.5 x 23.5 cm
ISSN 1661-8297 (print)
ISSN 1661-8300 (electronic)AMS Mathematical Citation Quotient (MCQ): 0.07 (2011)
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.Full-text access to all papers is freely available. No registration or subscription is required, and a free email notification service is available.Papers can be submitted electronically either as ps-files or as pdf-files. On acceptance, authors are asked to provide a source tex file as specified in the Information for Authors. Even though the Journal is divided into volumes for convenience, papers are published on the internet as soon as they are accepted for publication. The goal is to have a fast turnaround of about nine months from submission to publication.Logical Methods in Computer Science is an overlay journal of the Computing Research Repository (CoRR): see arXiv.org.A disk archive and a hardcopy of the contents of Logical Methods in Computer Science is maintained by the Department of Theoretical Computer Science at the Technical University of Braunschweig, Germany, and also by a large number of mirror sites around the world.