A note on the cut-elimination proof in ``Truth without contra(di)ction'' (Q3389498)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A note on the cut-elimination proof in ``Truth without contra(di)ction |
scientific article; zbMATH DE number 7347065
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A note on the cut-elimination proof in ``Truth without contra(di)ction'' |
scientific article; zbMATH DE number 7347065 |
Statements
A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” (English)
0 references
11 May 2021
0 references
noncontractive theory of truth
0 references
cut-elimination
0 references
sequent calculus
0 references
infinitary sequents
0 references
0.7382761836051941
0 references
0.7289788722991943
0 references
0.7278996706008911
0 references
0.7274410724639893
0 references
0.7272481918334961
0 references
