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

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

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n7http://web.cs.gc.cuny.edu/~sartemov/publications/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Bizonyíthatósági_logika
rdfs:label
Bizonyíthatósági logika
owl:sameAs
freebase:m.02x5g_
dct:subject
n9:Logika
dbo:wikiPageID
635860
dbo:wikiPageRevisionID
22484956
dbo:wikiPageExternalLink
n7:ArtBeklRoot.pdf
prop-hu:wikiPageUsesTemplate
n14:Cite_book
prop-hu:author
George Boolos Sergei N. Artemov, Lev. D. Beklemishev
prop-hu:editor
Solomon Feferman
prop-hu:isbn
0
prop-hu:language
angol angol, német
prop-hu:location
Oxford New York
prop-hu:pages
174
prop-hu:publisher
Cambridge University Press Oxford University Press
prop-hu:title
Provability Logic Collected Works The Logic of Provability
prop-hu:url
n7:ArtBeklRoot.pdf
prop-hu:year
1993 1986
dbo:abstract
A bizonyíthatósági logika a modális logika egyik fejezete, amelyben egy modális kijelentés olyan módon igaz, hogy bizonyítható egy formális rendszerben, pl. egy (intuicionista) logikában, Peano-aritmetikában, halmazelméletben. A bizonyíthatósági logika célja tehát egy adott formális rendszerben a bizonyíthatóság-fogalom megragadása. A bizonyíthatóságot e nyelvben egy jellel szokás jelölni, és leggyakrabban „boksz”-nak szokás mondani. A bizonyíthatósági logika megjelenését Kurt Gödel egy 1933-as cikkéhez szokás kapcsolni, melyben egy modális logika és az intuicionista logika kapcsolatával foglalkozik. A bizonyíthatósági logika leghíresebb eredményét, mely arról szólt, hogy a Peano-aritmetika bizonyíthatóság-fogalma pontosan megragadható egy modális logikával, Robert Martin Solovay publikálta 1976-ban.
prov:wasDerivedFrom
wikipedia-hu:Bizonyíthatósági_logika?oldid=22484956&ns=0
dbo:wikiPageLength
20279
foaf:isPrimaryTopicOf
wikipedia-hu:Bizonyíthatósági_logika
Subject Item
wikipedia-hu:Bizonyíthatósági_logika
foaf:primaryTopic
dbpedia-hu:Bizonyíthatósági_logika