Continuing Variations on a System of Gentzen (Q3718687)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuing Variations on a System of Gentzen |
scientific article |
Statements
Continuing Variations on a System of Gentzen (English)
0 references
1985
0 references
Gentzen system
0 references
intuitionistic logic
0 references
IPC
0 references
intuitionistically permissible
0 references
intuitionistic restrictions
0 references
multiple rules
0 references
