Katolog > Science > Math > Logic and Foundations

This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other. If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources. If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.

Kategorier

Category Theory@ (50) Computability (15) Computational Logic (26) Directories (15) Education (23) Foundations (8) Game Semantics (14)

History (138) Institutions (70) Knowledge Representation and Planning (2) Meetings (206) Model Theory (4) Nonstandard Logics and Extensions (162) Organizations (15)

People (136) Philosophy of Logic@ (138) Proof Theory (20) Publications (45) Set Theory (77) Software (27)

Relaterede kategorier

Computers » Artificial Intelligence » Philosophy (50) Computers » Programming » Languages » Logic-based (62) Society » Philosophy » Philosophy of Language (117) Society » Philosophy » Philosophy of Science » Mathematics (46)

Links:

Mathematical Logic around the World A rich collection of links to logic-related websites. www.uni-bonn.de/logic/world.html

Mathematical Logic and Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. www.math.niu.edu/~rusin/known-math/index/03-XX.html

Abstract Service An archive of abstracts of logic articles at the Institute for Logic, University of Vienna. www.logic.univie.ac.at/abstract

Math Front: LO Logic Front end for the logic section of the mathematics e-print arXiv. front.math.ucdavis.edu/math.LO

Mind Versus Goedel by Damjan Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. nl.ijs.si/~damjan/g-m-c.html

Classical Logic Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. plato.stanford.edu/entries/logic-classical

Introduction to Mathematical Logic Hyper-textbook for students by V. Detlovs and K. Podnieks. www.ltn.lv/~podnieks/mlog/ml.htm

Computability Logic Homepage Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. www.cis.upenn.edu/~giorgi/cl.html

Logic Wikipedia article. en.wikipedia.org/wiki/Logic

Logic Open Encyclopedia entry. Hierarchically organized by subareas. open-site.org/Science/Mathematics/Logic

News groups

sci.logic