From Hilbert proofs to consecutions and back (Q4999183)
From MaRDI portal
scientific article; zbMATH DE number 7368317
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Hilbert proofs to consecutions and back |
scientific article; zbMATH DE number 7368317 |
Statements
From Hilbert proofs to consecutions and back (English)
0 references
6 July 2021
0 references
consecution
0 references
external consequence
0 references
Hilbert consequence
0 references
relevant logic
0 references
substructural proof theory
0 references
