| dbo:abstract
|
- The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus. (en)
- Kalkulus struktur adalah dengan (bahasa Inggris: Deep inference) untuk mempelajari dari . Kalkulus telah diaplikasikan untuk mempelajari , , , dan , beberapa kemajuan diklaim oleh penelitian ini dari jalur dimana simpulan mendalam disediakan dalam kalkulus. (in)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1022 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus. (en)
- Kalkulus struktur adalah dengan (bahasa Inggris: Deep inference) untuk mempelajari dari . Kalkulus telah diaplikasikan untuk mempelajari , , , dan , beberapa kemajuan diklaim oleh penelitian ini dari jalur dimana simpulan mendalam disediakan dalam kalkulus. (in)
|
| rdfs:label
|
- Calculus of structures (en)
- Kalkulus struktur (in)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
