Погружающие операции и их применение.
Article Sidebar
Published:
30.11.2005
Main Article Content
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.
Downloads
Download data is not yet available.
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.