Data Table
PropertyValue
dbpedia-owl:abstract
  • シークエント計算(シークエントけいさん、英: Sequent calculus)は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1030833 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8493 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 27 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 58382247 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • シークエント計算(シークエントけいさん、英: Sequent calculus)は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
rdfs:label
  • シークエント計算
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of