Расширение области определения оператора истинности на ограниченную область символьных выражений.
Article Sidebar
Published:
02.11.2004
Main Article Content
Abstract
Generalization of logic on the domain of symbolic expressions is realized. Quantifiers are introducedfor symbolic expressions variables.
Downloads
Download data is not yet available.
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.