Studia Logica 65 (3):417-428 (2000)
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.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Axiomatizations with Context Rules of Inference in Modal Logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Logical Equations and Admissible Rules of Inference with Parameters in Modal Provability Logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
On the Admissible Rules of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Added to index2009-01-28
Total downloads23 ( #216,583 of 2,158,893 )
Recent downloads (6 months)1 ( #353,783 of 2,158,893 )
How can I increase my downloads?