Погружающие операции и их применение.
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2005
##plugins.themes.bootstrap3.article.main##
Abstract
Known definitions of translations between logic systems are considered and compared. Examples of embeddings of classical logic into intuitionistic logic are resulted. Embedding of classical propositional logic into a number of paraconsistent logics is constructed.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Karpenko I. Погружающие операции и их применение. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 182-193.
Issue
Section
Papers
References
Шанин Н.А. О некоторых логических проблемах арифметики // Тр. мат. ин-та им. В.А.Стеклова. 1955. № 43.
Колмогоров А.Н. О принципе tertium non datur // Мат. сб. 1925. №32.
Попов В.М. Погружение классической пропозициональной логики в ее импликативный фрагмент и в импликативный фрагмент интуиционистской пропозициональной логики // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 2000.
Попов В.М. Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент // Логические исследования. М.: Наука, 2001. Вып. 8. С. 183-184.
Prawitz D. & Malmnas Р.Е. A survey of some connections between classical, intuitionistic and minimal logic. Amsterdam: North-Holland. 1968. P.215-229.
Carnielli W.A. & D 'Ottaviano M.L Translations between logical systems: A MANIFESTO // Logique et Analyse. 1977. N 157. P. 67-81.
Epstein R.L. The semantic foundations of logic. Vol.l: Propositional logic. Dordrecht: Kluwer, 1990.
Смирное В.А. Логические методы анализа научного знания. М., 2002. С. 119-129.
Wojcicki R. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988.
Клини C.K. Введение в метаматематику. _., 1957. С. 77.
Glivenko M. Sur quelques points de la logique de M. Brouwer. Academie Royale de Belgique. Bulletins de la classe des sciences. Ser. 5. Vol. 15. P. 183-188.
Godel K. Zur intuitionistischen Arithmetik und Zahlentheorie // Ergebnisse eines mathematischen Kolloquims. 1933. Vol. 4. P. 34-38.
Lukasiewicz J. On the intuitionistic theory of deduction. Konikl. Nederl. Akademie van Wetenschappen, Proceedings, Series A, no. 3. 1952. P. 202-212.
Gentzen G. Die Widerspruchsfreiheit der reinen Zahlentheorie 11 Mathematische Annalen. 1936. Vol. 112. P.493-565.
Попов В.М. Погружение импликативного фрагмента классической логики в импликативный фрагмент интуиционистской // Логические исследования. М.: Наука, 2000. Вып. 7.
Popov V.M. On the Logics Related to A. Arruda's System VI // Logic and Logical Philosophy. 1999. Vol.7. P.87-90.
Попов В.М. Об одной трехзначной паранепротиворечивой логике // Современная логика: проблемы теории, истории и применения в науке. Санкт-Петербург, 2002.
Попов В.М. Об одной трехзначной параполной логике // Логические исследования. М.: Наука, 2002. Вып.9.
Колмогоров А.Н. О принципе tertium non datur // Мат. сб. 1925. №32.
Попов В.М. Погружение классической пропозициональной логики в ее импликативный фрагмент и в импликативный фрагмент интуиционистской пропозициональной логики // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 2000.
Попов В.М. Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент // Логические исследования. М.: Наука, 2001. Вып. 8. С. 183-184.
Prawitz D. & Malmnas Р.Е. A survey of some connections between classical, intuitionistic and minimal logic. Amsterdam: North-Holland. 1968. P.215-229.
Carnielli W.A. & D 'Ottaviano M.L Translations between logical systems: A MANIFESTO // Logique et Analyse. 1977. N 157. P. 67-81.
Epstein R.L. The semantic foundations of logic. Vol.l: Propositional logic. Dordrecht: Kluwer, 1990.
Смирное В.А. Логические методы анализа научного знания. М., 2002. С. 119-129.
Wojcicki R. Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer, 1988.
Клини C.K. Введение в метаматематику. _., 1957. С. 77.
Glivenko M. Sur quelques points de la logique de M. Brouwer. Academie Royale de Belgique. Bulletins de la classe des sciences. Ser. 5. Vol. 15. P. 183-188.
Godel K. Zur intuitionistischen Arithmetik und Zahlentheorie // Ergebnisse eines mathematischen Kolloquims. 1933. Vol. 4. P. 34-38.
Lukasiewicz J. On the intuitionistic theory of deduction. Konikl. Nederl. Akademie van Wetenschappen, Proceedings, Series A, no. 3. 1952. P. 202-212.
Gentzen G. Die Widerspruchsfreiheit der reinen Zahlentheorie 11 Mathematische Annalen. 1936. Vol. 112. P.493-565.
Попов В.М. Погружение импликативного фрагмента классической логики в импликативный фрагмент интуиционистской // Логические исследования. М.: Наука, 2000. Вып. 7.
Popov V.M. On the Logics Related to A. Arruda's System VI // Logic and Logical Philosophy. 1999. Vol.7. P.87-90.
Попов В.М. Об одной трехзначной паранепротиворечивой логике // Современная логика: проблемы теории, истории и применения в науке. Санкт-Петербург, 2002.
Попов В.М. Об одной трехзначной параполной логике // Логические исследования. М.: Наука, 2002. Вып.9.