Расширение области определения оператора истинности на ограниченную область символьных выражений.
##plugins.themes.bootstrap3.article.sidebar##
Published:
02.11.2004
##plugins.themes.bootstrap3.article.main##
Abstract
Generalization of logic on the domain of symbolic expressions is realized. Quantifiers are introducedfor symbolic expressions variables.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Pavlov S. Расширение области определения оператора истинности на ограниченную область символьных выражений. // Logicheskie Issledovaniya / Logical Investigations. 2004. VOL. 11. C. 238-242.
Issue
Section
Papers
References
Клини С.К. Введение в метаматематику М., 1957.
Лукасевич Я. О детерминизме // Логические исследования. Вып. 2. М., 1993. С .190-205.
Павлов С.А. Новый подход к построению и обобщению классической логики//Логические исследования. Выпуск 10, М., 2003, С. 150-157.
Смалъян Р. Теория формальных систем. М, 1981.
Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Лъвовско-Варшавской школы. М., 1999. С. 19-156.
Чёрч А. Введение в математическую логику. М., 1960.
Лукасевич Я. О детерминизме // Логические исследования. Вып. 2. М., 1993. С .190-205.
Павлов С.А. Новый подход к построению и обобщению классической логики//Логические исследования. Выпуск 10, М., 2003, С. 150-157.
Смалъян Р. Теория формальных систем. М, 1981.
Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Лъвовско-Варшавской школы. М., 1999. С. 19-156.
Чёрч А. Введение в математическую логику. М., 1960.