|
|
 |
Open Directory from the Jesus Army
The largest human-edited directory on the web
|
Open Directory: Science: Math: Logic and Foundations: Nonstandard Logics and Extensions: Modal Logic: Provability and Interpretability Logics
|
 | Cotolerance en.wikipedia.org/wiki/Cotolerance
Definition of the concept of a cotolerant sequence of theories. |
|
| Giorgi Japaridze's Publications www.csc.villanova.edu/~japaridz/study.html
Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable. |
|
| Interpretability en.wikipedia.org/wiki/Interpretability
A definition of the concept. |
|
| Interpretability Logic open-site.org/Science/Mathematics/Logic/Proof_Theory/Interpretability_…
Open Encyclopedia article. |
|
| Provability Logic open-site.org/Science/Mathematics/Logic/Proof_Theory/Provability_logic
Open Encyclopedia article. |
 "Tolerance")
|
| Tolerance en.wikipedia.org/wiki/Tolerance_(in_logic)
Definition of the concept of a tolerant sequence of theories. |
|
|
The Jesus Army is not responsible for the content of the Open Directory, which we provide here as a public service. Please contact the Open Directory Project with any questions or comments you may have, or follow the links above.
|
|
|
Provability and Interpretability Logics
