About: Analytic proof

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Proof that does not use the cut rule

Property	Value
dbo:description	proof that does not use the cut rule (en)
dbo:wikiPageExternalLink	http://plato.stanford.edu/entries/bolzano-logic
dbo:wikiPageWikiLink	dbr:Gerhard_Gentzen dbr:Sequent_calculus dbr:Intermediate_value_theorem dbc:Methods_of_proof dbc:Proof_theory dbr:Proof_theory dbr:Mathematics dbr:Calculus_of_structures dbr:Proof-theoretic_semantics dbr:Proof_calculus dbr:Structural_proof_theory dbr:Bernard_Bolzano dbr:Stanford_Encyclopedia_of_Philosophy dbr:Frank_Pfenning dbr:Natural_deduction_calculus dbr:Cut-elimination dbr:Subformula dbr:Tableau_method
dbp:wikiPageUsesTemplate	dbt:Short_description
dct:subject	dbc:Methods_of_proof dbc:Proof_theory
gold:hypernym	dbr:Proof
rdfs:label	Analytic proof (en)
owl:sameAs	freebase:Analytic proof yago-res:Analytic proof wikidata:Analytic proof dbpedia-ta:Analytic proof dbpedia-global:Analytic proof
prov:wasDerivedFrom	wikipedia-en:Analytic_proof?oldid=1263632086&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Analytic_proof
is dbo:knownFor of	dbr:Gerhard_Gentzen
is dbo:wikiPageDisambiguates of	dbr:Analytic
is dbo:wikiPageRedirects of	dbr:Analytic_proofs
is dbo:wikiPageWikiLink of	dbr:Cut-elimination_theorem dbr:Proof_theory dbr:Cirquent_calculus dbr:Modal_logic dbr:Index_of_philosophy_articles_(A–C) dbr:Linear_logic dbr:Proof-theoretic_semantics dbr:Leonhard_Euler dbr:List_of_mathematical_logic_topics dbr:Structural_proof_theory dbr:Bernard_Bolzano dbr:Analytic dbr:Hypersequent dbr:Focused_proof dbr:Analytic_proofs
is dbp:knownFor of	dbr:Gerhard_Gentzen
is foaf:primaryTopic of	wikipedia-en:Analytic_proof

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International