An explicit basis for the admissible inference rules in the Gödel-Löb logic GL

ISSN： 0037-4466

Source： Siberian Mathematical Journal, Vol.48, Iss.2, 2007-03, pp. : 339-345

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

Applications of the Kuznetsov formula on GL(3)

By Blomer Valentin

Inventiones mathematicae, Vol. 194, Iss. 3, 2013-12 ,pp. : 673-729

Springer Publishing Company

Access to resources Recommend Favorite

An admissibility criterion for inference rules with metavariables in the modal logic S4.α _N

By Rutskii A.

Siberian Mathematical Journal, Vol. 48, Iss. 2, 2007-03 ,pp. : 317-326

Springer Publishing Company

Access to resources Recommend Favorite

The centralizer algebra of the diagonal action of the group GL _n() in a mixed tensor space

By Nikitin P.

Journal of Mathematical Sciences, Vol. 141, Iss. 4, 2007-03 ,pp. : 1479-1493

Springer Publishing Company

Access to resources Recommend Favorite

Critical values of L-functions on GSp 2 × Gl 2

By Böcherer Siegfried

Mathematische Zeitschrift, Vol. 254, Iss. 3, 2006-11 ,pp. : 485-503

Springer Publishing Company

Access to resources Recommend Favorite

An Inheritance Criterion for the Admissible Inference Rules of K4

By Rutskii A.N. Fedorishin B.R.

Siberian Mathematical Journal, Vol. 43, Iss. 6, 2002-11 ,pp. : 1094-1102

Springer Publishing Company

Access to resources Recommend Favorite