About: Completeness of atomic initial sequents

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Gaisi_Takeuti dbr:Anne_Sjerp_Troelstra dbr:Atomic_formula dbr:Lambda_calculus dbr:Sequent_calculus dbr:Helmut_Schwichtenberg dbc:Proof_theory dbc:Theorems_in_the_foundations_of_mathematics dbr:Beta_reduction dbr:Cut-elimination dbr:Eta_expansion
dbp:wikiPageUsesTemplate	dbt:Mathlogic-stub dbt:Math
dct:subject	dbc:Proof_theory dbc:Theorems_in_the_foundations_of_mathematics
rdfs:label	Completeness of atomic initial sequents (en)
owl:sameAs	freebase:Completeness of atomic initial sequents yago-res:Completeness of atomic initial sequents wikidata:Completeness of atomic initial sequents dbpedia-global:Completeness of atomic initial sequents
prov:wasDerivedFrom	wikipedia-en:Completeness_of_atomic_initial_sequents?oldid=1240943987&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Completeness_of_atomic_initial_sequents
is dbo:wikiPageWikiLink of	dbr:Sequent_calculus dbr:Linear_logic
is foaf:primaryTopic of	wikipedia-en:Completeness_of_atomic_initial_sequents

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