Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2

ISSN： 0037-4466

Source： Siberian Mathematical Journal, Vol.43, Iss.2, 2002-03, pp. : 357-362

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

A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property

By Golovanova E.M.

Siberian Mathematical Journal, Vol. 44, Iss. 4, 2003-07 ,pp. : 568-576

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

Rules of inference in fuzzy sentential logic

By Turunen E.

Fuzzy Sets and Systems, Vol. 85, Iss. 1, 1997-01 ,pp. : 63-72

Elsevier

Access to resources Recommend Favorite

Using meta-rules for fuzzy inference control

By Zhengxin C.

Fuzzy Sets and Systems, Vol. 79, Iss. 2, 1996-04 ,pp. : 163-173

Elsevier

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