Open Problems in Proof-Theoretic Semantics (Q5864209)
From MaRDI portal
scientific article; zbMATH DE number 7537550
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Open Problems in Proof-Theoretic Semantics |
scientific article; zbMATH DE number 7537550 |
Statements
Open Problems in Proof-Theoretic Semantics (English)
0 references
3 June 2022
0 references
proof-theoretic semantics
0 references
hypothesis
0 references
natural deduction
0 references
sequent calculus
0 references
harmony
0 references
identity of proofs
0 references
definitional reflection
0 references
