Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения.
##plugins.themes.bootstrap3.article.main##
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.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Karpenko A. Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения. // Logicheskie Issledovaniya / Logical Investigations. 1998. VOL. 6. C. 76-80.
Issue
Section
Papers