DMOZ Internet Directory : Science : Math : Logic_and

Search:

Home About Submit Site

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.

Categories

Computability
No sub-categories 7 Sites Computational Logic
Automated Reasoning, ... 26 Sites Directories
No sub-categories 7 Sites Education
No sub-categories 11 Sites Foundations
No sub-categories 6 Sites Game Semantics
People 13 Sites History
Ancient and Modern Logic, People 73 Sites Knowledge Representation and Planning
No sub-categories 2 Sites Meetings
BLC, Calendars, ESSLLI, ISMVL, Logic Colloquium, ... 98 Sites Model Theory
No sub-categories 4 Sites

Nonstandard Logics and Extensions
Fuzzy Logic, Intuitionistic Logic, Many-valued Logic, ... 90 Sites Online Discussion Groups
No sub-categories 2 Sites Organizations
No sub-categories 9 Sites People
Students and Independent Scholars 85 Sites Proof Theory
People 13 Sites Publications
Bibliographies, Books, Journals 24 Sites Research Groups and Centers
Europe, North America 44 Sites Set Theory
People 49 Sites Software
No sub-categories 17 Sites

Sites [ Submit ]

Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks. Set Theory and Foundations of Mathematics - Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.

Click [ Submit ] above to Add a New Site, Update a Site, or Remove a Site from this Category.