About: Deep inference

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.iam.unibe.ch/~kai/Papers/phd.pdf http://alessio.guglielmi.name/res/cos/index.html
dbo:wikiPageWikiLink	dbr:Noncommutative_logic dbr:Sequent_calculus dbc:Proof_theory dbr:Cut-elimination_theorem dbr:Kurt_Schütte dbr:Cirquent_calculus dbr:Formal_system dbc:Inference dbr:Calculus_of_structures dbr:Nuel_Belnap dbr:Structural_proof_theory dbr:Display_logic dbr:Abstract_structure dbr:Proof_calculi
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Logic-stub dbt:ISBN dbt:Technical
dct:subject	dbc:Proof_theory dbc:Inference
rdfs:label	Deep inference (en)
owl:sameAs	freebase:Deep inference wikidata:Deep inference dbpedia-global:Deep inference dbr:Deep inference
prov:wasDerivedFrom	wikipedia-en:Deep_inference?oldid=1211761905&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Deep_inference
is dbo:wikiPageWikiLink of	dbr:Noncommutative_logic dbr:Index_of_philosophy_articles_(D–H) dbr:Cirquent_calculus dbr:Quantum_logic dbr:Calculus_of_structures dbr:Proof_calculus dbr:Proof_net dbr:Structural_proof_theory dbr:Bunched_logic dbr:Nested_sequent_calculus
is foaf:primaryTopic of	wikipedia-en:Deep_inference

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