This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20http://plato.stanford.edu/entries/logic-provability/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n19http://www.phil.uu.nl/preprints/preprints/PREPRINTS/
n14http://www.csc.villanova.edu/~japaridz/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://www.csc.villanova.edu/~japaridz/Text/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n10http://www.cs.gc.cuny.edu/~sartemov/
n5http://ja.dbpedia.org/resource/Category:
n17http://ja.wikipedia.org/wiki/
n15https://doi.org/10.1007/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://www.phil.uu.nl/~lev/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q260168
owl:sameAs
dbpedia-ja:証明可能性論理
Subject Item
dbpedia-ja:解釈可能性論理
dbo:wikiPageWikiLink
dbpedia-ja:証明可能性論理
Subject Item
dbpedia-ja:証明可能性論理
rdfs:label
証明可能性論理
rdfs:comment
証明可能性論理 (英: Provability logic) は、ボックス（または"必然性"）演算子が'〜は証明可能である'と解釈されるような様相論理である。その要点は、ペアノ算術のような合理的で豊かな形式理論の証明述語の概念を捉えることである。 数々の証明可能性論理が存在し、そのいくつかはが示されている。基本的な体系は、一般的にGL (Gödel-Löb)、L または K4W として言及される。それは、Löbの定理の様相バージョンを論理 K (または K4) に加えることで得られる。それは、Robert M. Solovayによって1976年に開拓された。それから1996年までは、その分野の第一人者はGeorge Boolosであった。この分野への主要な貢献者は、Sergei Artemov、Lev Beklemishev、Giorgi Japaridze、Dick de Jongh、Franco Montagna、Giovanni Sambin、Vladimir Shavrukov、Albert Visserらである。解釈可能性論理は証明可能性論理の自然な拡張を表現する。
owl:sameAs
freebase:m.02x5g_
dct:subject
n5:論理学 n5:数学に関する記事 n5:証明論 n5:様相論理
dbo:wikiPageID
2475516
dbo:wikiPageRevisionID
71293944
dbo:wikiPageWikiLink
dbpedia-ja:クルト・ゲーデル n5:証明論 dbpedia-ja:クリプキ意味論 dbpedia-ja:形式理論 n5:数学に関する記事 dbpedia-ja:Robert_M._Solovay dbpedia-ja:George_Boolos n5:論理学 dbpedia-ja:Per_Lindström n5:様相論理 dbpedia-ja:ペアノ算術 dbpedia-ja:様相論理 dbpedia-ja:解釈可能性論理 dbpedia-ja:Stanford_Encyclopedia_of_Philosophy
dbo:wikiPageExternalLink
n4:prov.pdf n10: n14: n15:1-4020-3521-7_3 n19:preprint234.pdf n20: n21:
prop-en:wikiPageUsesTemplate
template-en:Lang-en-short template-en:Logic-stub
dbo:abstract
証明可能性論理 (英: Provability logic) は、ボックス（または"必然性"）演算子が'〜は証明可能である'と解釈されるような様相論理である。その要点は、ペアノ算術のような合理的で豊かな形式理論の証明述語の概念を捉えることである。 数々の証明可能性論理が存在し、そのいくつかはが示されている。基本的な体系は、一般的にGL (Gödel-Löb)、L または K4W として言及される。それは、Löbの定理の様相バージョンを論理 K (または K4) に加えることで得られる。それは、Robert M. Solovayによって1976年に開拓された。それから1996年までは、その分野の第一人者はGeorge Boolosであった。この分野への主要な貢献者は、Sergei Artemov、Lev Beklemishev、Giorgi Japaridze、Dick de Jongh、Franco Montagna、Giovanni Sambin、Vladimir Shavrukov、Albert Visserらである。解釈可能性論理は証明可能性論理の自然な拡張を表現する。
dbo:wikiPageLength
2019
prov:wasDerivedFrom
n17:証明可能性論理?oldid=71293944&ns=0
foaf:isPrimaryTopicOf
n17:証明可能性論理
Subject Item
dbpedia-ja:証明論
dbo:wikiPageWikiLink
dbpedia-ja:証明可能性論理
Subject Item
dbpedia-ja:論理学
dbo:wikiPageWikiLink
dbpedia-ja:証明可能性論理
Subject Item
dbpedia-ja:論理学の歴史
dbo:wikiPageWikiLink
dbpedia-ja:証明可能性論理
Subject Item
n17:証明可能性論理
foaf:primaryTopic
dbpedia-ja:証明可能性論理