INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078)
From MaRDI portal
scientific article; zbMATH DE number 6966184
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES |
scientific article; zbMATH DE number 6966184 |
Statements
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (English)
0 references
26 October 2018
0 references
double negation shift
0 references
fragments of classical logic
0 references
intuitionistic arithmetic and analysis
0 references
0 references
