Proof net
id:
proof-net-293-7857557
title:
Proof net
text:
In proof theory, proof nets are a geometrical method of representing proofs that
eliminates two forms of bureaucracy that differentiate proofs: (A) irrelevant syntactical features of regular proof calculi, 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. This distinguishes proof nets from regular proof calculi such as the natural deduction calculus and the sequent calculus, wh
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Proof_net
date created:
date modified:
2024-01-10T18:55:09Z
main entity:
{"identifier":"Q3457091","url":"https://www.wikidata.org/entity/Q3457091"}
image:
fields total:
13
integrity:
13