Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Sites 8
Loading new listings for you to review...
- Provability Logic Wikipedia article.
- Interpretability Logic Wikipedia article.
- Interpretability A definition of the concept.
- Provability Logic Open Encyclopedia article.
- Interpretability Logic Open Encyclopedia article.
- Cointerpretability Definition of the concept.
- Tolerance Definition of the concept of a tolerant sequence of theories.
- Giorgi Japaridze's Publications Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.