No label defined (Q3755451)
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: scientific article; zbMATH DE number 4004176 |
scientific article; zbMATH DE number 4004176
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4004176 |
Statements
1986
0 references
transformation of proofs
0 references
proof theory
0 references
applications of proof-theoretic transformation
0 references
conservativity
0 references
Heyting arithmetic
0 references
infinitary natural deduction
0 references
normalization
0 references
modal extension
0 references
Novikov's hypothesis
0 references
epistemic arithmetic
0 references
predicate logic
0 references
Pruning
0 references
computer program optimization
0 references
coherence theorems
0 references
cut elimination
0 references
derivable formula
0 references
intuitionistic propositional calculus
0 references
0.7397955060005188
0 references
0.7338050603866577
0 references
