An Inheritance Criterion for the Admissible Inference Rules of K4

ISSN： 0037-4466

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

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

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

By Fedorishin B.

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

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