General-Elimination Harmony and Higher-Level Rules (Q5213616)
From MaRDI portal
scientific article; zbMATH DE number 7162491
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | General-Elimination Harmony and Higher-Level Rules |
scientific article; zbMATH DE number 7162491 |
Statements
General-Elimination Harmony and Higher-Level Rules (English)
0 references
4 February 2020
0 references
harmony
0 references
`tonk'
0 references
generalized-elimination rules
0 references
higher-level rules
0 references
flattening
0 references
reduction
0 references
local completeness
0 references
classical logic
0 references
intuitionistic logic
0 references
negation
0 references
Gentzen
0 references
Dummett
0 references
Prawitz
0 references
