Rejecting inadmissible rules in reduced normal forms in S4

MaRDI QIDQ6282092zbMATH OpenFDO

Authors Mojtaba Aghaei, Maryam Rostami Giv

Publication date 18 January 2017

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Complexity of computation (including implicit computational complexity) (03D15)

Abstract: Several methods for checking admissibility of rules in the modal logic $S4$ are presented in [1], [15]. These methods determine admissibility of rules in $S4$, but they don't determine or give substitutions rejecting inadmissible rules. In this paper, we investigate some relations between one of the above methods, based on the reduced normal form rules, and sets of substitutions which reject them. We also generalize the method in [1], [15] for one rule to admissibility of a set of rules.

This page was built for publication: Rejecting inadmissible rules in reduced normal forms in S4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282092)