解釈可能性論理
1. Interpretability logicInterpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, cotolerance and arithmetic complexities.
Read “Interpretability logic” on English Wikipedia
Read “解釈可能性論理” on Japanese Wikipedia
Read “Interpretability logic” on DBpedia
Read “Interpretability logic” on English Wikipedia
Read “解釈可能性論理” on Japanese Wikipedia
Read “Interpretability logic” on DBpedia
Discussions
Log in to talk about this word.