Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Proof_net> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Proof_net abstract "In proof theory, proof nets are a geometrical method of representing proofs thateliminates two forms of bureaucracy that differentiates proofs: (A) irrelevant syntactical features of regular proof calculi such as the natural deduction calculus and the sequent calculus, and (B) the order of rules applied in a derivation. In this way, the formal properties of proof identity correspond more closely to the intuitively desirable properties. Proof nets were introduced by Jean-Yves Girard.For instance, these two linear logic proofs are “morally” identical:And their corresponding nets will be the same.".
- Proof_net wikiPageExternalLink 1203.4912.
- Proof_net wikiPageExternalLink LinLog.
- Proof_net wikiPageExternalLink Proofs+Types.html.
- Proof_net wikiPageID "921927".
- Proof_net wikiPageRevisionID "597963579".
- Proof_net hasPhotoCollection Proof_net.
- Proof_net subject Category:Proof_theory.
- Proof_net comment "In proof theory, proof nets are a geometrical method of representing proofs thateliminates two forms of bureaucracy that differentiates proofs: (A) irrelevant syntactical features of regular proof calculi such as the natural deduction calculus and the sequent calculus, and (B) the order of rules applied in a derivation. In this way, the formal properties of proof identity correspond more closely to the intuitively desirable properties.".
- Proof_net label "Proof net".
- Proof_net label "Réseaux de preuves".
- Proof_net sameAs Réseaux_de_preuves.
- Proof_net sameAs m.03q4w5.
- Proof_net sameAs Q3457091.
- Proof_net sameAs Q3457091.
- Proof_net wasDerivedFrom Proof_net?oldid=597963579.
- Proof_net isPrimaryTopicOf Proof_net.