Расширение области определения оператора истинности на ограниченную область символьных выражений.

##plugins.themes.bootstrap3.article.main##

S.A. Pavlov

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##

Section
Papers

References

Клини С.К. Введение в метаматематику М., 1957.

Лукасевич Я. О детерминизме // Логические исследования. Вып. 2. М., 1993. С .190-205.

Павлов С.А. Новый подход к построению и обобщению классической логики//Логические исследования. Выпуск 10, М., 2003, С. 150-157.

Смалъян Р. Теория формальных систем. М, 1981.

Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Лъвовско-Варшавской школы. М., 1999. С. 19-156.

Чёрч А. Введение в математическую логику. М., 1960.

##plugins.generic.recommendByAuthor.heading##