Subformula theorems for N-sequents

E-ISSN： 1943-5886|33|2|161-179

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.33, Iss.2, 1968-07, pp. : 161-179

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

Modal sequents and definability

The Journal of Symbolic Logic, Vol. 52, Iss. 3, 1987-09 ,pp. : 756-762

Cambridge University Press

Access to resources Recommend Favorite

Rationality theorems for Hecke operators on GL n

By Rhodes J.A. Shemanske T.R.

Journal of Number Theory, Vol. 102, Iss. 2, 2003-10 ,pp. : 278-297

Elsevier

Access to resources Recommend Favorite

Subformula property in many-valued modal logics

The Journal of Symbolic Logic, Vol. 59, Iss. 4, 1994-12 ,pp. : 1263-1273

Cambridge University Press

Access to resources Recommend Favorite

Theorems on n -dimensional laplace transformations involving the solution of wave equations

By Saberi-nadjafi J.

Integral Transforms and Special Functions, Vol. 15, Iss. 4, 2004-08 ,pp. : 337-358

Taylor & Francis Ltd

Access to resources Recommend Favorite

Rigidity theorems for complete spacelike submanifold in [TEX equation: S^{n+p}_q(1)]

By Zhang Shicheng

Geometriae Dedicata, Vol. 169, Iss. 1, 2014-04 ,pp. : 175-186

Springer Publishing Company

Access to resources Recommend Favorite