Decidability of the Admissibility Problem for Inference Rules in Some S5_t-Logics

ISSN： 0002-5232

Source： Algebra and Logic, Vol.44, Iss.4, 2005-07, pp. : 243-255

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

Some Arithmetic on the Hardy Sums s₂(h, k) and s₃(h, k)

By Can Mümün

Acta Mathematica Sinica, Vol. 20, Iss. 2, 2004-03 ,pp. : 193-200

Springer Publishing Company

Access to resources Recommend Favorite

Interval Valued Intuitionistic (S, T)–fuzzy H _v–submodules

By Zhan Jian Dudek W.

Acta Mathematica Sinica, Vol. 22, Iss. 4, 2006-07 ,pp. : 963-970

Springer Publishing Company

Access to resources Recommend Favorite

From the Icosahedron to Natural Triangulations of P ² and S ²×S ²

By Bagchi Bhaskar Datta Basudeb

Discrete & Computational Geometry, Vol. 46, Iss. 3, 2011-10 ,pp. : 542-560

Springer Publishing Company

Access to resources Recommend Favorite

On positive scalar curvature on S ²

By Ji Min

Calculus of Variations and Partial Differential Equations, Vol. 19, Iss. 2, 2004-01 ,pp. : 165-182

Springer Publishing Company

Access to resources Recommend Favorite

A Bijection for the Alperin Weight Conjecture in S _n

By Cossey James

Algebras and Representation Theory, Vol. 14, Iss. 2, 2011-04 ,pp. : 391-402

Springer Publishing Company

Access to resources Recommend Favorite