SOME LINKS

Note: This list does not intend to be exhaustive. It contains only links to sites or pages related to our research work or topic in some way. For extensive listings of logic-related sites, mailing lists, etc., see below. All links were found correct as of 02/2012. Please let us know of any dead link you may find by sending an e-mail to jmfontub.edu.

University departments and research institutes

Other institutions, groups and projects

Journals

Publishers

Logic-related information repositories

Miscellaneous links

University departments and research institutes

• Algebraic Logic Department (Institute of Mathematics of the Hungarian Academy of Sciences, Budapest)
• Center for the Study of Language and Information (CSLI, Stanford)
• Department of Logic (Jagiellonian University, Kraków)
• Group of Logic, Language and Computation (Department of Computer Science, King's College London)
• Institute of Computer Science (Academy of Sciences of the Czech Republic, Prague)
• Institute of Computer Science (Polish Academy of Sciences)
• Institute for Logic, Language and Computation (ILLC, Universiteit van Amsterdam)
• Japan Advanced Institute of Science and Technology (JAIST, Nomi, Japan)
• Kurt Gödel Research Center for Mathematical Logic (University of Vienna)
• Logic and Foundations Group (New Mexico State University)
• Mathematical Logic and Algebraic Logic (University of Siena)
• Paris Logic Group (Université Paris VII)
• Research Institute in Artificial Intelligence (IIIA - CSIC, Bellaterra)
• Soft Computing Laboratory (Dipartimento di Matematica e Informatica, Università degli Studi di Salerno)
• Theory and Logic Group (Technical University of Vienna)
• Vienna Group for Multiple-Valued Logic (Technical University of Vienna)
• . . .

Other institutions, groups and projects

• Advances in Modal Logic (AiML.Net)
• Algebraic Methodology and Software Technology (AMAST)
• Aracne (An European ALFA project on Tools for Teaching Logic, coordinated by the University of Salamanca)
• Association of Logic, Language and Information (FoLLI)
• Association for Symbolic Logic (ASL)
• Associazione Italiana di Logica e sue Applicazioni (AILA)
• British Logic Colloquium
• Catalan Association for Artificial Intelligence (ACIA)
• Danish network for philosophical logic and its applications (PhiLog, Roskilde)
• Graduate Programme in Logic (University of Amsterdam)
• Hybrid Logics
• IEEE Computer Society
• Interest Group in Pure and Applied Logics (IGPL)
• Kurt Gödel Society (Vienna)
• Mathematical Fuzzy Logic (MathFuzzLog, a Working Group of EUSFLAT)
• LICS (IEEE Symposium on Logic in Computer Science)
• Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España
  (SOLOFICI)
• Technical Committee on Multiple-Valued Logics of the IEEE Computer Society
  (MVL-TC)
• . . .

Journals

• Algebra and Logic (Springer)
• Algebra universalis (Birkhäuser). Editor's site
• Annals of Pure and Applied Logic (Elsevier)
• Archive for Mathematical Logic (Springer)
• Boletín de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España
• Bulletin of Symbolic Logic (Association for Symbolic Logic)
• Bulletin of the Section of Logic (University of Lódz)
• History and Philosophy of Logic (Taylor and Francis)
• Journal of Applied Logic (Elsevier)
• Journal of Applied Non-Classical Logics (Editions Hermés). Editor's site
• Journal of Automated Reasoning (Springer)
• Journal of Logic and Algebraic Programming (Elsevier). Formerly "Journal of Logic Programming"
• Journal of Logic and Computation (Oxford University Press)
• Journal of Logic, Language and Information (Springer - FoLLI)
• Journal of Mathematical Logic (World Scientific)
• Journal of Multiple Valued Logic and Soft Computing (Old City Publishing).
  Formerly "Multiple-Valued Logic - An International Journal". Editor's site
• Journal of Philosophical Logic (Springer). Editor's site
• Journal of Symbolic Computation (Elsevier). Editor's site
• Journal of Symbolic Logic (Association for Symbolic Logic)
• Logic Journal of the IGPL (Oxford University Press). Editor's site
• Logica Universalis (Birkhaüser/Springer).
• Mathware and Soft Computing
• Mathematical Logic Quarterly (Wiley-VCH)
• Modern Logic (volumes 1 to 8: 1990-2001)
• Notre Dame Journal of Formal Logic (University of Notre Dame)
• Reports on Mathematical Logic (Jagiellonian University)
• Review of Symbolic Logic (Association for Symbolic Logic)
• Soft Computing (Springer)
• Studia Logica (Springer). Editor's site
• Synthese (Springer)
• Teorema (Universidad de Murcia)
• The Review of Modern Logic. Formerly "Modern Logic". See also the page at Project Euclid
• Theoria (Stockholm)
• Theoria (San Sebastián)
• . . .

Publishers

• Birkhäuser (now part of Springer)
• Cambridge University Press
• Elsevier (includes North Holland and Academic Press)
• Oxford University Press
• Peters
• Princeton University Press
• Springer (Now includes Birkhäuser and Kluwer)
• Wiley
• . . .

Logic-related information repositories

• Foundations of Mathematics (FOM) Discussion list
• Logic-related Conferences (A web page of conferences and workshops that have an overlap with logic in computer science, maintained by the LICS organization)
• Logic e-prints in the Mathematics ArXiv
• Logical links (PhiLog)
• Logic and Set Theory Organizations
• Logic at Vienna
• Logic Journal of the IGPL (Related Conferences and other Events)
• Mathematical Logic around the World (Bonn and Vienna). According to Google, this is the most authoritative source for mathematical logic on the web.
• Research groups in Logic, Theoretical Computer Science and Philosophical Logic
  (University of Wales Swansea, formerly at Uppsala University)
• Science: Math: Logic and Foundations (The Open Directory)
• . . .

Miscellaneous links

• Barcelona
• Catalonia
• Societat Catalana de Matemàtiques
• Tirant-lo-TeX (Catalan's TeX users group)
• CervanTeX (Spaniard's TeX users group)
• TUG (the worldwide TeX Users Group)
• CTAN, the Comprehensive TeX Archive Network. FTP link to the Madrid Mirror.
• TeX and Typography (Javier Bezos' site, mostly in Spanish)
• . . .