ABC HOME web search Web Search web search Web Directory web search Image Search web search Video Search web search Shopping web search 4WX Weather web search Domain Search
ABC Directory
Arts Business Computers Games Health Home Kids News
Recreation Reference Regional Science Shopping Society Sports Adult

Add your website to this category
ABC HOME: Top: Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions: Modal_Logic: Provability_and_Interpretability_Logics:

Provability and Interpretability Logics (9)

Sponsors:
Web Sites In this Category:

Interpretability Open in a new browser window  
   A definition of the concept.
   http://en.wikipedia.org/wiki/Interpretability
Provability Logic Open in a new browser window  
   Open Encyclopedia article.
   http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Provability_logic/
Interpretability Logic Open in a new browser window  
   Open Encyclopedia article.
   http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Interpretability_logic/
Cointerpretability Open in a new browser window  
   Definition of the concept.
   http://en.wikipedia.org/wiki/Cointerpretability
Tolerance Open in a new browser window  
   Definition of the concept of a tolerant sequence of theories.
   http://en.wikipedia.org/wiki/Tolerance_(in_logic)
Cotolerance Open in a new browser window  
   Definition of the concept of a cotolerant sequence of theories.
   http://en.wikipedia.org/wiki/Cotolerance
Giorgi Japaridze's Publications Open in a new browser window  
   Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.
   http://www.csc.villanova.edu/~japaridz/study.html

Last Updated: 2004-05-27 01:18:04


Directory Search:  
OR, You can also try your search with one of the following ABC Search Features
ABC Web Search  
ABC Media Search 
ABC Shopping 

Add your website to this category

Keywords and References for this category
Provability and Interpretability Logics directory, Provability and Interpretability Logics websites, Provability and Interpretability Logics related info, Provability and Interpretability Logics resources, Provability and Interpretability Logics information, Provability and Interpretability Logics links, Provability and Interpretability Logics search, Provability and Interpretability Logics category, Provability and Interpretability Logics online.



Copyright © 1996-2005 ABC.NET Search Portal!