Interpolation theorem for simple paranormal logic $Int_{0,\omega}$
##plugins.themes.bootstrap3.article.sidebar##
Published:
03.05.2012
##plugins.themes.bootstrap3.article.main##
Abstract
A proof of interpolation theorem for simple paranormal logic $Int_{0,\omega}$ is proposed.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Popov V. Interpolation theorem for simple paranormal logic $Int_{0,\omega}$ // Logicheskie Issledovaniya / Logical Investigations. 2012. VOL. 18. C. 182-196.
Issue
Section
Papers
References
Попов В.М. Секвенциальные аксиоматизации простых паралогик // Логические исследования. Вып. 16. Центр гуманитарных инициатив, М.; СПб., 2010. С. 205-220.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Шютте К. Интерполяционная теорема для интуиционистской логики предикатов // Математическая теория логического вывода. М., 1967. С. 285-295.
Craig W. Linear reasoning.A new formof the Herbrand-Gentzen theorem // Journal of Symbolic Logic. 1957. Vol. 22. P. 250-268.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Шютте К. Интерполяционная теорема для интуиционистской логики предикатов // Математическая теория логического вывода. М., 1967. С. 285-295.
Craig W. Linear reasoning.A new formof the Herbrand-Gentzen theorem // Journal of Symbolic Logic. 1957. Vol. 22. P. 250-268.