From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (Q4608555)
From MaRDI portal
scientific article; zbMATH DE number 6851649
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction |
scientific article; zbMATH DE number 6851649 |
Statements
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (English)
0 references
21 March 2018
0 references
proof systems
0 references
linear natural deduction
0 references
Gentzen
0 references
Jaśkowski
0 references
