Is cut-free logic fit for unrestricted abstraction? (Q2131274)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Is cut-free logic fit for unrestricted abstraction? |
scientific article |
Statements
Is cut-free logic fit for unrestricted abstraction? (English)
0 references
25 April 2022
0 references
paradoxes
0 references
induction
0 references
reflection principle
0 references
dialetheism
0 references
