This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Journal of Logic and Computation | |
|---|---|
| Title | Journal of Logic and Computation |
| Discipline | Logic, Computer Science, Artificial Intelligence |
| Abbreviation | J. Log. Comput. |
| Publisher | Oxford University Press |
| Country | United Kingdom |
| History | 1991–present |
| Frequency | Bimonthly |
| Issn | 0955-792X |
Journal of Logic and Computation The Journal of Logic and Computation is a peer-reviewed academic journal addressing formal methods and theoretical foundations at the intersection of logic and computer science. It publishes original research on proof theory, type theory, modal logic, lambda calculus, and computational complexity, engaging communities around Alan Turing, Alonzo Church, Alfred North Whitehead, Bertrand Russell, and institutions such as Oxford University and Massachusetts Institute of Technology. The journal situates work relevant to conferences and societies including ACM, IEEE Computer Society, Logic in Computer Science (LICS), European Association for Theoretical Computer Science (EATCS) and Association for Symbolic Logic.
Founded in 1991 under the imprint of Oxford University Press, the journal emerged during a period shaped by landmark events and institutions such as the rise of World Wide Web research labs at Xerox PARC, the consolidation of ACM SIGPLAN and IEEE Symposium on Logic in Computer Science. Early editorial leadership drew on scholars connected to University of Cambridge, University of Edinburgh, Princeton University, and research groups influenced by figures like Dana Scott, Graham Priest, Michael Rabin, and Robin Milner. The journal developed alongside journals such as Journal of the ACM, Information and Computation, and Annals of Pure and Applied Logic and contributed to the formalization trends that intersected with projects at Bell Labs, IBM Research, and Bellcore.
The journal's remit spans research on proof theory and model theory pertinent to computational systems, engaging topics associated with Kurt Gödel, Gottlob Frege, Henri Poincaré, and Alfred Tarski. It covers lambda calculus and functional programming traditions linked to John McCarthy, Simon Peyton Jones, and Haskell (programming language), as well as type theory communities around Per Martin-Löf, Thierry Coquand, and Robert Harper. Modal and temporal logic papers connect to lines of work from Arthur Prior, Saul Kripke, Emil Post, and implementations relevant to Microsoft Research and Google Research. The journal also includes contributions touching on categorical logic with ties to Samuel Eilenberg, Saunders Mac Lane, and William Lawvere, and computational complexity themes related to Stephen Cook, Leonid Levin, and Richard Karp.
Published by Oxford University Press, the editorial board typically features editors affiliated with universities and laboratories such as Carnegie Mellon University, University of Oxford, Stanford University, University of California, Berkeley, ETH Zurich, Université Paris-Saclay, and National University of Singapore. Advisory members have historically included figures associated with Royal Society recognition and awards like the ACM Turing Award and the Gödel Prize, reflecting connections with laureates such as Robin Milner, Dana Scott, and Leslie Valiant. The publisher coordinates peer review workflows compatible with standards from Committee on Publication Ethics and indexing partnerships with entities including Clarivate and Scopus.
The journal is abstracted and indexed in major scholarly services and bibliographic databases linked to institutional infrastructures like Web of Science, Scopus, MathSciNet, and Zentralblatt MATH. It appears in library catalogs alongside holdings from British Library, Library of Congress, Bibliothèque nationale de France, and university consortia such as JSTOR and Project Euclid collections. Citation metrics are exposed through platforms associated with Google Scholar, ResearchGate, and ORCID profiles used by contributors affiliated with research centers like CNRS and Max Planck Society.
Scholarly reception has noted the journal’s role in advancing cross-disciplinary dialogue among communities tied to Logic in Computer Science (LICS), International Congress of Mathematicians (ICM), and workshops sponsored by European Research Council. Citation trajectories intersect with influential works published in venues such as Proceedings of the ACM on Programming Languages, Journal of the ACM, and Communications of the ACM. The journal’s influence is reflected in curricula and monographs from publishers like Cambridge University Press and Springer, and in doctoral training programs at University of Cambridge, Princeton University, and University of Toronto.
Notable contributions have included papers advancing proof-carrying code dialogues related to George Necula’s work, type-systems resonant with Robin Milner and Haskell (programming language), and modal logics linked to Saul Kripke frameworks. Articles have intersected with developments in automated theorem proving led by teams at Stanford Research Institute, SRI International, and project histories involving Coq and Isabelle (proof assistant), influencing software provenance efforts at Red Hat and Intel Research labs. The journal has published work later cited in award-winning research recognized by ACM SIGPLAN and honors connected to EATCS prizes.
As an Oxford University Press journal, access follows subscription and institutional license models customary to academic publishing, with options for individual subscriptions held by libraries at Harvard University, Yale University, University of Chicago, and national consortia in Germany, Japan, and Canada. Authors may elect open access routes compatible with funder mandates from agencies such as National Science Foundation, European Research Council, Wellcome Trust, and repositories like arXiv where preprints by contributors from MIT, Caltech, and ETH Zurich are often deposited. The journal adheres to policies influenced by Sherpa Romeo classifications and editorial guidelines aligned with standards from COPE.
Category:Logic journals Category:Computer science journals