Sequent Calculi for the Propositional Logic of HYPE

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb (Journal of Philosophical Logic 48:305–405, 2019) as a logic for hyperintensional contexts. On the one hand we introduce a simple $$\mathbf{G1}$$ G 1 -system employing rules of contraposition. On the other hand we present a $$\mathbf{G3}$$ G 3 -system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the calculus by connections as introduced in Kashima and Shimura (Mathematical Logic Quarterly 40:153–172, 1994).

Admissible Inference Rules and Semantic Property of Modal Logics

Firstly semantic property of nonstandart logics were described by formulas which are peculiar to studied a models in general, and do not take to consideration a variable conditions and a changing assumptions. Evidently the notion of inference rule generalizes the notion of formulas and brings us more flexibility and more expressive power to model human reasoning and computing. In 2000-2010 a few results on describing of explicit bases for admissible inference rules for nonstandard logics (S4, K4, H etc.) appeared. The key property of these logics was weak co-cover property. Beside the improvement of deductive power in logic, an admissible rule are able to describe some semantic property of given logic. We describe a semantic property of modal logics in term of admissibility of given set of inference rules. We prove that modal logic over logic 𝐺𝐿 enjoys weak co-cover property iff all given rules are admissible for logic.