Рассматриваются модели конструктивного исчисления высказываний гильбертовского типа, являющиеся алгебрами высказываний Гейтинга, с значениями истинности принадлежащими линейному упорядоченному множеству L с 0 (наименьшим) и 1 (наибольшим) элементами [1,2]. Вероятности - это конечные меры, определенные на алгебрах и нормированные единицей. Помимо главных интерпретаций ( алгебр высказываний ) рассматриваются модели в виде нечетких множеств, которые имеют различные приложения : история, экономика и политика России; медицинская диагностика; радиотехника; анализ военных операций [1,2]; дается приложение к анализу возможных решений метода наименьших квадратов [3].
Список литературы:
1. Тарушкин В.Т. Алгебры с конечной мерой конструктивного исчисления высказываний. Вестник СПбГУ, сер. 10 прикл. мат., вып.3 , 2006, с.94 - 105.
2. Тарушкин В.Т. Конструктивные нечеткие вероятностные методы в дискретной математике. Обозрение прикл. и пром. мат., т. 12, вып.2, 2005, c.877.
3. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Нечеткие решения задачи Д.И. Менделеева - А.А. Маркова - Ю.В. Линника. Современные наукоемкие технологии, 4 , 2007, c. 37 - 38.