Guest! Login/Join

DomainTools.com


 

Logic And Foundations


Directory > Science > Math > Logic and Foundations

Category_Theory@ (36)Computability (10)Computational_Logic (34)
Directories (11)Education (18)Foundations (7)
Game_Semantics (13)History (92)Knowledge_Representation_and_Planning (2)
Meetings (133)Model_Theory (4)Nonstandard_Logics_and_Extensions (119)
Online_Discussion_Groups (3)Organizations (13)People (116)
Philosophy_of_Logic@ (103)Proof_Theory (13)Publications (26)
Research_Groups_and_Centers (59)Set_Theory (66)Software (27)
 
Related Categories:
   Society > Philosophy > Philosophy_of_Science > Mathematics (29)
   Society > Philosophy > Philosophy_of_Language (72)
   Computers > Programming > Languages > Logic-based (38)
   Computers > Artificial_Intelligence > Philosophy (37)


1,861 Listings - DR (6/10)1,861 Listings - DR (6/10) Classical Logic - http://plato.stanford.edu/entries/logic-classical/
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
201 Listings - DR (5/10)201 Listings - DR (5/10) Mathematical Logic and Foundations - http://www.math.niu.edu/~rusin/known-math/index/03-XX.html
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
961 Listings - DR (3/10)961 Listings - DR (3/10) Computability Logic Homepage - http://www.cis.upenn.edu/~giorgi/cl.html
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
27 Listings - DR (1/10)27 Listings - DR (1/10) Mind Versus Goedel by Damjan Bojadziev - http://nl.ijs.si/~damjan/g-m-c.html
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
18 Listings - DR (1/10)18 Listings - DR (1/10) Introduction to Mathematical Logic - http://www.ltn.lv/~podnieks/mlog/ml.htm
Hyper-textbook for students by V. Detlovs and K. Podnieks.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains