A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic (Q3752367)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic |
scientific article |
Statements
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic (English)
0 references
1987
0 references
sequent-systems
0 references
structure of Gentzen's sequent proofs
0 references
decidability of intuitionistic and classical propositional logic
0 references
