Computability Logic Homepage - Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources.

		Saturday, 21 November, 2009
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Aeronautics and Aerospace

Agriculture

Anomalies and Alternative Science

Educational Resources

Instruments and Supplies

Math

Medical Science

Methods and Techniques

Category: Science » Math » Logic and Foundations

UPDATE URL | REPORT BROKEN LINK

Computability Logic Homepage

Popularity:

Hit: 489 | Visit: 12

Details

	Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. Sponsored Links:
URL:
Title:	COMPUTABILITY LOGIC: a theory of interactive computation HOMEPAGE
Description:	The recent approach called Computability Logic is a formal theory of computability in the same sense as classical logic is a formal theory of truth. The page is the basic Internet source of information on Computability Logic.
Category:	Interactive - Computation - Base - Linear - Game - Knowledge - Logic - Knowledgebase - Semantics - Constructive - Intuitionistic

Related sites

Mathematical Logic and Foundations (Popularity:

): From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related ...
Abstract Service (Popularity:

): An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
Math Front: LO Logic (Popularity:

): Front end for the logic section of the mathematics e-print arXiv.
Mind Versus Goedel by Damjan Bojadziev (Popularity:

): Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Classical Logic (Popularity:

): Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Mathematical Logic around the World (Popularity:

): A rich collection of links to logic-related websites.
Introduction to Mathematical Logic (Popularity:

): Hyper-textbook for students by V. Detlovs and K. Podnieks.
Logic (Popularity:

): Wikipedia article.
Logic (Popularity:

): Open Encyclopedia entry. Hierarchically organized by subareas.

Home | Submit Science Site | Add to Favorite | Privacy | Contact