About: Calculus of structures

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

unknown

Property	Value
dbo:wikiPageExternalLink	http://alessio.guglielmi.name/res/cos/ https://web.archive.org/web/20041207223920/http:/www.informatik.uni-leipzig.de/~ozan/maude_cos.html
dbo:wikiPageWikiLink	dbr:Noncommutative_logic dbr:Classical_logic dbc:Logical_calculi dbr:Logical_system dbr:Modal_logic dbr:Linear_logic dbr:Proof_calculus dbr:Structural_proof_theory dbr:Deep_inference dbr:Maude_system dbr:ACM_Transactions_on_Computational_Logic dbr:Process_calculi
dbp:wikiPageUsesTemplate	dbt:Logic-stub dbt:Refs
dct:subject	dbc:Logical_calculi
gold:hypernym	dbr:Proof
rdfs:label	Calculus of structures (en) Kalkulus struktur (in)
owl:sameAs	freebase:Calculus of structures wikidata:Calculus of structures dbpedia-id:Calculus of structures dbpedia-global:Calculus of structures
prov:wasDerivedFrom	wikipedia-en:Calculus_of_structures?oldid=1193378127&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Calculus_of_structures
is dbo:wikiPageWikiLink of	dbr:Noncommutative_logic dbr:Index_of_philosophy_articles_(A–C) dbr:Proof_calculus dbr:Analytic_proof dbr:Deep_inference dbr:Curry–Howard_correspondence
is foaf:primaryTopic of	wikipedia-en:Calculus_of_structures

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