Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения.

Abstract

In this article the author solved the problem of extending, in an appropriate way, the pure calculus of entailment $\textbf{E}_\rightarrow$ to an implicational fragment $\textbf{TV}_\rightarrow$ of the classical propositional logic. As a result we obtain logical construction having the form of finite Boolean lattices whose elements are implicational logics.