A Note on Gentzen's LJ and NJ Systems Isomorphism (Q5437003)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Note on Gentzen's LJ and NJ Systems Isomorphism |
scientific article; zbMATH DE number 5227993
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Note on Gentzen's LJ and NJ Systems Isomorphism |
scientific article; zbMATH DE number 5227993 |
Statements
A Note on Gentzen's LJ and NJ Systems Isomorphism (English)
0 references
18 January 2008
0 references
intuitionistic sequent calculus
0 references
negation rules
0 references
Haupsatz
0 references
0.8305351
0 references
0.8272136
0 references
0.8270494
0 references
0 references
0 references
