Интуиционистски приемлемая паранормальная логика.

##plugins.themes.bootstrap3.article.main##

V.M. Popov
G.N. Shuklin

Abstract

In the paper a propositional logic AIP which is a paranormal sublogic of intuitionistic propositional logic is constructed. The semantics of AIP which is a modification of Kripke semantics adequate to the intuitionistic propositional logic, and a sequent calculus GAIP axiomatizing the AIP logic, are also described. The embeddings of intuitionistic propositional logic into AIP are defined.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967. С. 9-74.

Драгалин А.Г Математический интуиционизм. Введение в теорию доказательств. М., 1979.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>