Проблема контекста интерпретации в универсальной логике
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
В [1] были введены некоторые категориальные конструкции, которые описывают внутреннюю структуру категории логических систем. Но детальный анализ выявляет проблемы, которые оказываются вызванными недостаточным учетом контекста расследования. Эти дефекты устранены, и показано, что все категориальные конструкции из [1] будут использоваться вплоть до эквивалентности, введенной для отражения практики взаимных интерпретаций логических систем.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Васюков В. Проблема контекста интерпретации в универсальной логике // Логические исследования / Logical Investigations. 2007. Т. 14. C. 105-130.
Выпуск
Раздел
Статьи
Литература
Васюков В.Л. Проблема структуры универсальной логики // Логические исследования. Вып. 13. М., 2006. С. 95-114.
Голдблатт Р. Топосы. Категорный анализ логики. М., 1983.
Расева Е., Сикорский Р. Математика метаматематики. М., 1972.
Baader F. and Schulz К. U. (eds.). Frontiers of combining systems // Applied Logic Series. Vol. 3. Kluwer Academic Publishers, Dordrecht, 1996. Papers from the First International Workshop (FroCoS’96) held in Munich, March 26-29, 1996.
Beziau J.-Y., de Freitas R.P., Viana J.P. What is Classical Propositional Logic? (A Study in Universal Logic) // Logical Investigations. Vol. 8. 2001. P. 266-277.
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.
Carnielli W. Possible-Translations Semantics for Paraconsistent Logics // Frontiers of Paraconsistent Logic / D. Batens et al (eds.). Research Studies Press Ltd., Baldock, Herfordshire, 2000. P.149-163.
J.M. Font, R. Jansana, D. Pigozzi. A Survey of Abstract Algebraic Logic // Studia Logica. Vol. 74, No 1/2. 2003. P.13-97.
Lambek J., Scott P.J. Introduction to higher order categorical logic. Cambridge, 1986.
Mortensen C. Inconsistent Mathematics. Dordrecht, 1995.
Rasga J., Sernadas A., Semadas C., and Vigano L. Fibring labelled deduction systems // Journal of Logic and Computation. Vol. 12, № 3. 2002. P. 443-473.
Rauszer C. A Formalization of the Propositional Calculus of H-B-logic // Studia Logica. Vol. 33. № 1. 1973. P. 23-34.
Sernadas A., Sernadas C., Caleiro C. Fibring of Logics as a Categorial Construction // Journal of Logic and Computation. Vol. 9. № 2. 1999. P. 149-179.
Wojcicki R. Theory of Logical Calculi // Synthese Library. Vol. 199. Dordrecht, 1988.
Голдблатт Р. Топосы. Категорный анализ логики. М., 1983.
Расева Е., Сикорский Р. Математика метаматематики. М., 1972.
Baader F. and Schulz К. U. (eds.). Frontiers of combining systems // Applied Logic Series. Vol. 3. Kluwer Academic Publishers, Dordrecht, 1996. Papers from the First International Workshop (FroCoS’96) held in Munich, March 26-29, 1996.
Beziau J.-Y., de Freitas R.P., Viana J.P. What is Classical Propositional Logic? (A Study in Universal Logic) // Logical Investigations. Vol. 8. 2001. P. 266-277.
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.
Carnielli W. Possible-Translations Semantics for Paraconsistent Logics // Frontiers of Paraconsistent Logic / D. Batens et al (eds.). Research Studies Press Ltd., Baldock, Herfordshire, 2000. P.149-163.
J.M. Font, R. Jansana, D. Pigozzi. A Survey of Abstract Algebraic Logic // Studia Logica. Vol. 74, No 1/2. 2003. P.13-97.
Lambek J., Scott P.J. Introduction to higher order categorical logic. Cambridge, 1986.
Mortensen C. Inconsistent Mathematics. Dordrecht, 1995.
Rasga J., Sernadas A., Semadas C., and Vigano L. Fibring labelled deduction systems // Journal of Logic and Computation. Vol. 12, № 3. 2002. P. 443-473.
Rauszer C. A Formalization of the Propositional Calculus of H-B-logic // Studia Logica. Vol. 33. № 1. 1973. P. 23-34.
Sernadas A., Sernadas C., Caleiro C. Fibring of Logics as a Categorial Construction // Journal of Logic and Computation. Vol. 9. № 2. 1999. P. 149-179.
Wojcicki R. Theory of Logical Calculi // Synthese Library. Vol. 199. Dordrecht, 1988.