Studia Logica 65 (3):417-428 (2000)
|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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Phiniki Stouppa (2007). A Deep Inference System for the Modal Logic S. Studia Logica 85 (2):199 - 214.
Valentin Goranko (1998). Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61 (2):179-197.
Hans-Jürgen Hoehnke (2004). Quasi-Varieties: A Special Access. Studia Logica 78 (1-2):249 - 260.
Alex Citkin (2010). Metalogic of Intuitionistic Propositional Calculus. Notre Dame Journal of Formal Logic 51 (4):485-502.
V. V. Rybakov (1990). Logical Equations and Admissible Rules of Inference with Parameters in Modal Provability Logics. Studia Logica 49 (2):215 - 239.
Rosalie Iemhoff (2001). On the Admissible Rules of Intuitionistic Propositional Logic. Journal of Symbolic Logic 66 (1):281-294.
V. V. Rybakov (2005). Logical Consecutions in Discrete Linear Temporal Logic. Journal of Symbolic Logic 70 (4):1137 - 1149.
Sy D. Friedman (1979). HC of an Admissible Set. Journal of Symbolic Logic 44 (1):95-102.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?