Directory of links on logic and set theory
Research teams and centers :
Europe - North America
- Other
Publications - Blogs - Organizations
- Mailing lists - Software - Other
Publications
Preprints
Online Journals
- Bulletin of the EATCS (European Association for Theoretical
Computer Science)
- Bulletin of Symbolic Logic - All articles in postscript format.
- Bulletin
of the Section of Logic invites especially the
contributions on topics dealing directly with logical calculi,
their methodology, and algebraic interpretation.
- CLE e-Prints
(Centre for Logic, Epistemology and the History of Science
at UNICAMP)
- Electronic Colloquium
on Computational Complexity
- Electronic
Newsletter/News Journal on Reasoning about actions and
change (ENRAC)
- Electronic
Transactions on Artificial Intelligence (ETAI)
- Information
and Computation (International journal of theoretical
Computer Science published by Academic Press)
- International Journal of Mathematics and Computer Science
- Journal of Formalized
Mathematics
- Journal of Functional and Logic Programming closed down in 2000
: does not accept further submission but published papers
remain available.
- Journal
of the IGPL (Interest
Group in Pure and Applied Logics) with freely available
articles in dvi and .ps formats. They forgot to specify the
dates of publication but the last volume (4) seems to be from
1996.
- Logic
Journal of the IGPL - (Oxford University Press) Official
publication of the Interest Group in Pure and Applied Logic,
since 1993.
- Logica
Trianguli (6 numbers, 1997 - 2002)
- Nordic
Journal of Philosophical Logic : archive (last number in
December 2000)
- Pure
Mathematics and Applications (Algebra and Theoretical
Computer Science)
- Reports on
Mathematical Logic Jagiellonian University Press, Krakow
- Theory and Applications
of Categories (TAC)
- The Reasoner
A monthly digest highlighting exciting new research on
reasoning and interesting new arguments. It is
interdisciplinary, covering research in, e.g., philosophy,
logic, AI, statistics, cognitive science, law, psychology,
mathematics and the sciences.
- Australasian
Journal of Logic - freely available electronic journal
covering all areas of research in pure logic, and logic as it
is applied in mathematics, computer science, linguistics and
philosophy.
Ordinary journals
Philosophy journals
General directories of mathematical publications
Bibliographies
Activities
Blogs
Organizations
- Academia
Analitica is a learned society for the development
of logic and analytic philosophy based in Bosnia and
Herzegovina.
- Arché
(official name: Arché - Philosophical Research Centre for
Logic, Language, Metaphysics and Epistemology) is a research
centre at the University of St Andrews, Scotland.
- Association for Automated
Reasoning
- Association for
Computational Linguistics
- Association for Computing
Machinery
- Association for Logic in
India
- Association
for Logic Programming
- Association for Symbolic
Logic
- Belgian National
Center of Research in Logic
- British
Colloquium for Theoretical Computer Science (BCTCS
- British Logic
Colloquium
- Brazilian Logic
Society
- COMPULOG
Americas (after a European Compulog Net programme that
no more exists) aims to serve as a forum where users,
researchers and developers of logic programming systems and
techniques can come together for common good.
- Computability
in Europe (CiE) Network
- Computing Research Association
(CRA)
- Consortium
for Order in Algebra and Logic
- Deutsche
Vereinigung für Mathematische Logik und für
Grundlagenforschung der Exakten Wissenschaften (DVMLG)
- European Association for
Computer Science Logic
- European
Association for Programming Languages and Systems
(EAPLS)
- European Association for
Theoretical Computer Science
- European
Set Theory Society
- FoLLI - European Association
for Logic, Language and Information. Includes : Interest Group in
Pure and Applied Logics. Publications and preprints;
holds an annual academic conference called the European Summer
School in Logic, Language and Information (ESSLLI).
- FACS (Formal Aspects of Computing
Science) Group of the
British
Computer
Society
- Formal Methods Europe
- IEEE
Computer Society
- Interest Group in
Pure and Applied Logics (IGPL)
- International Federation
for Computational Logic (IFCoLog)
- International
Federation for Information Processing
- Italian
Association of Logic and its applications
- Italian Society for
Logic and Philosophy of Science
- The Japan Institute of
Logic in Tokyo, is an educational institution dedicated
to organize tests of logic in English for
science and engineering students
- Kurt Gödel Society
- Logical Aspects of
Multi-Agent Systems international research network
- Polish
Association for Logic and Philosophy of Science
- Scandinavian
Logic Society
- SIGACT (Special Interest
Group on Algorithms and Computation Theory) is an
international organization that fosters and promotes the
discovery and dissemination of high quality research in
theoretical computer science (TCS), the formal analysis of
efficient computation and computational processes.
- Swiss Society for Logic
and Philosophy of Sciences
- Texas
Action Group interested in the study of formal and
automated reasoning about the effects of actions using action
languages and logic programming...
- European
Research Consortium for Informatics and Mathematics
- ERCIM
Working Group on Constraints Constraints have
recently emerged as a research area that combines
researchers from a number of fields, including Artificial
Intelligence, Programming Languages, Symbolic Computing and
Computational Logic. - Background, objectives, members and
workshops.
- Young Set Theory
Network :New frontiers of infinity: mathematical,
philosophical, and computational prospects, a Research
Networking Programme of the European Science Foundation. Aims
to stimulate the exchange of ideas among researchers pursuing
different approaches to infinity. Has a wiki
intended as a repository for short articles on set theory and
related subjects.
Mailing lists
- Abstract
State Machines
- Categories,
with also a big list of conferences on category theory - home
pages of members
- Concurrency
moderated email forum focusing on concurrent process theory,
especially operational and abstract semantics, specification,
and verification of: concurrent, distributed, reactive,
real-time and hybrid systems.
- DMANET,
an electronic news and research network for discrete
mathematics and algorithms with about 1900 members worldwide.
- Foundations
of Mathematics
- Frogs - Proof-theoretic discussion
group, mainly focused on the calculus of structures
- Finite
model theory mailing list
- Linguist list
- Moca
mailing list on models for mobility and concurrency
- Proof
Theory Mailing List - Mailing list devoted to
proof theory, also accessible as a newsgroup. List of
participants with their web sites, archive of messages.
- Proof
Complexity mailing list
- Scottish Theorem
Proving
- Theory
Net at North Dakota
- Types
- A
list of mailing lists at the University of Edinburgh
Conferences
Software
Theory
Related Software
Wikipedia
: Proof assistant (comparison table) - Automated
theorem proving (with also a comparison table)
Some
links to logic software
Educational
Logic Software by the Committee of Logical Education of
ASL
Announcement for web programmers that may be available
for a new project : I have defined
this project (and had a few programmers some time ago, who
did something and then stopped), and could usually convice
people interested in economics to whom I had the opportunity to
explain its purposes
for at least 1 hour, that this is the right project to change
the world. But I did not have such an opportunity with web
programmers, that are usually too busy to pay any significant
attention, and/or don't want to understand anything else than
lines of code − as, contrary to what most people want to
believe, the originality and specificity of these new concepts
cannot be understood in 2 minutes by referring to what already
exists with similar purposes. So if you can do web programming
and be interested to make a meaningful work on an economic and
political level, you can be interested with my project. Just
contact me after having a look there to ask for further
explanations, thanks !
Other
Introductions to logic and foundations
More portals
Created by Sylvain Poirier, author of
settheory.net, in July 2012
(with updated links while the main sources used (
world.logic.at, and
Anton
Setzer), were all quite incomplete and obsolete, thus
visibly no more maintained).
Still incomplete, more links will be added later.