調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Weblio英和対訳辞書
Logical Framework
ロジカルフレームワーク
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
ウィキペディア英語版
出典：Wikipedia
Logical framework
出典:『Wikipedia』 (2011/07/10 15:22 UTC 版)
英語による解説
ウィキペディア英語版からの引用
- 引用
In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath, however the name of the idea comes from the more widely known Edinburgh Logical Framework, LF. Several more recent proof tools like Isabelle (theorem prover) are based on this idea. Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system.
- ©日本集団災害医学会2026
- Wikipedia
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLogical framework (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
