K -Admissibility of S 12 , S 13 , S 14 , S 15

Author： Girnius Z.   Liedahl S.  

Publisher： Academic Press

ISSN： 0021-8693

Source： Journal of Algebra, Vol.185, Iss.2, 1996-10, pp. : 357-373

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

S3(S) = S3.5

By  

The Journal of Symbolic Logic, Vol. 33, Iss. 3, 1968-10 ,pp. : 444-445

Cambridge University Press

Access to resources Recommend Favorite

On modal logics between K × K × K and S5 × S5 × S5

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. : 221-234

Cambridge University Press

Access to resources Recommend Favorite

Solutions of functional equation f ○ S = S k ○ f

By Maneeruk Keaitsuda  

Complex Variables, Vol. 51, Iss. 1, 2006-01 ,pp. : 89-98

Taylor & Francis Ltd

Access to resources Recommend Favorite

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

By Kosheleva A.  

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

Springer Publishing Company

Access to resources Recommend Favorite

Decomposing complete graphs into K r xK c 's

By Fu H.L.   Hwang F.K.   Jimbo M.   Mutoh Y.   Shiue C.L.  

Journal of Statistical Planning and Inference, Vol. 119, Iss. 2, 2004-02 ,pp. : 225-236

Elsevier

Access to resources Recommend Favorite