A Note on Gentzen's LJ and NJ Systems Isomorphism
From MaRDI portal
Publication:5437003
Recommendations
- scientific article; zbMATH DE number 440121
- Correspondences between gentzen and hilbert systems
- Publication:4864489
- scientific article; zbMATH DE number 5018640
- Finitely equivalential Gentzen systems associated with arbitrary finite algebras
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- A Gentzen system for involutive residuated lattices
- On the generalized J-homomorphism
- On some properties of Liénard systems
- On Gentzen Systems Associated with the Finite Linear MV-algebras
This page was built for publication: A Note on Gentzen's LJ and NJ Systems Isomorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437003)