ISSN:
1572-8730
Keywords:
modal logic
;
superintuitionistic logic
;
axiomatic system
;
inference rule
;
admissible rules
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005244015730
Permalink