Inferences and metainferences in \(\mathsf{ST}\) (Q830390)
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: Inferences and metainferences in ST |
scientific article; zbMATH DE number 7345788
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Inferences and metainferences in \(\mathsf{ST}\) |
scientific article; zbMATH DE number 7345788 |
Statements
Inferences and metainferences in \(\mathsf{ST}\) (English)
0 references
7 May 2021
0 references
strict-tolerant logic
0 references
metainferences
0 references
proof theory
0 references
internal vs external logic
0 references
paradoxes
0 references
0 references
0.8928282
0 references
0.87577266
0 references
0 references
0.86938804
0 references
0 references
0 references
0.86013657
0 references
0 references
0.85034716
0 references
