Two logics of analytic classical implication
Abstract
The paper contains two concepts of implication that can be called analytic in the sense of Parry [5] or Fine [2]. Contrary to the Parry's approach, these implications do not involve S4 strict implication but the classical one. This fact refers to the similar notion of so-called demodalized analytic implication of Dunn [1] and strong implication of Vanderveken, cf. [4, 6]. The features of analytic classical implications are presented in the form of two propositional logics on the pure implicational language