A note on harmony (Q452347)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on harmony |
scientific article |
Statements
A note on harmony (English)
0 references
20 September 2012
0 references
natural deduction
0 references
proof-theoretic semantics
0 references
introduction rules
0 references
elimination rules
0 references
harmony
0 references
local soundness/completeness
0 references
