Uniform Gentzen systems

E-ISSN： 1943-5886|33|4|549-559

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.33, Iss.4, 1969-01, pp. : 549-559

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Correspondences between gentzen and hilbert systems

The Journal of Symbolic Logic, Vol. 71, Iss. 3, 2006-09 ,pp. : 903-957

Cambridge University Press

Access to resources Recommend Favorite

Gentzen's Proof Systems: Byproducts in a Work of Genius

Bulletin of Symbolic Logic, Vol. 18, Iss. 3, 2012-09 ,pp. : 313-367

Cambridge University Press

Access to resources Recommend Favorite

Gentzen's Proof of Normalization for Natural Deduction

Bulletin of Symbolic Logic, Vol. 14, Iss. 2, 2008-06 ,pp. : 240-257

Cambridge University Press

Access to resources Recommend Favorite

Uniform Poincare inequalities for unbounded conservative spin systems: the non-interacting case

By Caputo P.

Stochastic Processes and their Applications, Vol. 106, Iss. 2, 2003-08 ,pp. : 223-244

Elsevier

Access to resources Recommend Favorite

Uniform boundedness and convergence of solutions to the systems with cross-diffusions dominated by self-diffusions

By Shim S.-A.

Nonlinear Analysis, Vol. 4, Iss. 1, 2003-03 ,pp. : 65-86

Elsevier

Access to resources Recommend Favorite