Внутренняя логика универсальной логики
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
внутренний язык топоса, дуальный внутренний язык, логика топоса, категория логических систем, Н-В-логика
Main Article Content
Аннотация
В начале [1] были введены некоторые категориальные конструкции, которые описывают внутреннюю структуру категории логических систем. Поскольку эта структура использовала как топос, так и дополненный топос, то, следуя подходу Бенабу-Митчелла, вводится внутренний язык, который не является стандартным языком топосов, а является расширенным языком, представляющим конструкцию языка для так называемой H-B-логики, алгебраическими моделями которой являются полубулевыми алгебрами. Секвенциальная версия топос-логики МакЛарти распространяется на случай категории логических систем, а окончательная формулировка внутренней логики основана на последовательной формулировке H-B-логики.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Васюков В. Внутренняя логика универсальной логики // Логические исследования / Logical Investigations. 2009. Т. 15. C. 58-77.
Выпуск
Раздел
Статьи
Литература
Васюков В.Л. Проблема контекста интерпретации в универсальной логике // Логические исследования. Вып. 14. М., 2007. С.105-130.
Васюков В.Л. Металогика универсальной логики // Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2006 г. Спб.ГУ, 2006. С. 45-347.
Джонстон П.Т. Теория топосов. М.: Наука, 1986.
Beziau J.-Y. From Consequence Operator to Universal Logic: A Survey of General Abstract Logic // Logica Universalis / J.-Y. Beziau (ed.). Basel, 2005. P. 3-18.
Caleiro C., Gongalves R. Equipollent Logical Systems // Logica Universalis / J.-Y. Beziau (ed.). Basel, 2005. P. 99-111.
McLarty C. Elementary Categories, Elementary Toposes. Oxford: Clarendon Press.
Rauszer C. A Formalization of the Propositional Calculus of H-B-logic // Studia Logica. 1973. Vol. 33. №1. P. 23-34.
Rauszer C. An algebraic and Kripke-style appraoach to a certain extension of intuionistic logic // Dissertationes Mathematicae, CLXVII. PWN, Warszawa, 1980.
Vasyukov V.L. Structuring the Universe of Universal Logic // Logica Universalis. 2007. Vol. 1-2. P. 277-294.
Wojcicki R. Theory of Logical Calculi // Synthese Library. Vol. 199. Dordrecht, 1988.
Васюков В.Л. Металогика универсальной логики // Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2006 г. Спб.ГУ, 2006. С. 45-347.
Джонстон П.Т. Теория топосов. М.: Наука, 1986.
Beziau J.-Y. From Consequence Operator to Universal Logic: A Survey of General Abstract Logic // Logica Universalis / J.-Y. Beziau (ed.). Basel, 2005. P. 3-18.
Caleiro C., Gongalves R. Equipollent Logical Systems // Logica Universalis / J.-Y. Beziau (ed.). Basel, 2005. P. 99-111.
McLarty C. Elementary Categories, Elementary Toposes. Oxford: Clarendon Press.
Rauszer C. A Formalization of the Propositional Calculus of H-B-logic // Studia Logica. 1973. Vol. 33. №1. P. 23-34.
Rauszer C. An algebraic and Kripke-style appraoach to a certain extension of intuionistic logic // Dissertationes Mathematicae, CLXVII. PWN, Warszawa, 1980.
Vasyukov V.L. Structuring the Universe of Universal Logic // Logica Universalis. 2007. Vol. 1-2. P. 277-294.
Wojcicki R. Theory of Logical Calculi // Synthese Library. Vol. 199. Dordrecht, 1988.