|
Записки научных семинаров ПОМИ, 2008, том 358, страницы 130–152
(Mi znsl2149)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Нечеткая конструктивная логика
И. Д. Заславский Институт проблем информатики и автоматизации НАН Армении
Аннотация:
Вводится логическая система, в которой принципы нечеткой логики трактуются с точки зрения конструктивного подхода. Рассматривается язык предикатных формул без функциональных символов и предметных констант. Вводится понятие предикатной формулы, тождественно истинной в рассматриваемой логике; даются два варианта этого понятия. Доказываются теоремы, касающиеся тождественной истинности некоторых предикатных формул. Устанавливаются определенные связи между введенной логикой и конструктивным (интуиционистским) исчислением предикатов. Библ. – 40 назв.
Поступило: 22.07.2007
Образец цитирования:
И. Д. Заславский, “Нечеткая конструктивная логика”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 130–152; J. Math. Sci. (N. Y.), 158:5 (2009), 677–688
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2149 https://www.mathnet.ru/rus/znsl/v358/p130
|
|