stratified languageの主な意味と例文
1名詞
意味 階層化言語
in logic, a language that cannot be used as its own metalanguage, so that statements about its truth must be made in a higher-level language
例文 Tarski avoided the liar paradox by working in a stratified language.
タルスキは階層化言語を用いることで嘘つきのパラドックスを避けた。
WordNetstratified languageと他の単語との繋がり
1名詞
意味 a language that cannot be used as its own metalanguage
自身のメタ言語として使用できない言語
上位語 - programing languageプログラミング言語
- programming languageプログラミング言語
対義語 - unstratified language非階層化言語