Infinets: the parallel syntax for non-wellfounded proof-theory (Q2180524)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinets: the parallel syntax for non-wellfounded proof-theory |
scientific article |
Statements
Infinets: the parallel syntax for non-wellfounded proof-theory (English)
0 references
14 May 2020
0 references
circular proofs
0 references
non-wellfounded proofs
0 references
fixed points
0 references
\(\mu\)-calculus
0 references
linear logic
0 references
proof-nets
0 references
induction and coinduction
0 references
