Open Problems in Proof-Theoretic Semantics (Q5864209)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7537550
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.786480724811554
0 references
0.7724778056144714
0 references
0.7599862813949585
0 references
0.7442424297332764
0 references
0.7363533973693848
0 references
