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.
Similar content being viewed by others
References
Citkin, A.I., ‘On admissible rules of intuitionistic propositional logic’, Math. USSR Sbornik 31 (1977), 2, 279–288.
Chagrov, A., M. Zakharyaschev, Modal Logics, Cambridge Press, 1997.
Friedman, H., ‘One hundred and two problems in mathematical logic’, J. of Symbolic Logic 40 (1975), 3, 113–130.
Jankov, V.A., ‘The relationship between deducibility in the intuitionistic propositional calculus and the finite implicational structures’, Soviet Mathematics Doklady 4 (1963), 1203–1204.
Jankov, V.A., ‘The construction of a sequence of strongly independent superintuitionistic propositional calculi’, Soviet Mathematics Doklady 9 (1968), 806–807.
Rybakov, V.V., ‘Criterion for admissibility of rules in the modal system S4 and the intuitionistic logic’, Algebra and Logic 23 (1984), 5, 369–384 (English Translation).
Rybakov, V.V., ‘Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property’, Studia Logica 53 (1994), 2, 203–225.
Rybakov, V.V., Admissibility of Logical Inference Rules, series: Studies in Logic and Foundations of Mathematics, Vol. 136, Elsevier, North-Holland, 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rybakov, V.V., Terziler, M. & Gencer, C. On Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65, 417–428 (2000). https://doi.org/10.1023/A:1005244015730
Issue Date:
DOI: https://doi.org/10.1023/A:1005244015730