Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01870787n
Noun Concept
Categories: 自動定理証明, 論理計算, 形式手法, 数理論理学, 論理記号
JA
シークエント計算  カット規則  シーケント計算
JA
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。 Wikipedia
Definitions
Relations
Sources
JA
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。 Wikipedia
HAS PART
EN
cut rule
EN
cut rule
NAMED AFTER
ゲルハルト・ゲンツェン
Wikipedia
JA
シークエント計算
Wikidata
JA
シークエント計算
Wikipedia Redirections
JA
カット規則, シーケント計算

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License