Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів - GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Увагу приділено побудові композиційних алгебр GND-предикатів. Виділено різновиди GND-предикатів, показано їх зв'язок із 7-значними тотальними детермінованими предикатами. Виділено 7-елементну алгебру істиннісних значень цих предикатів, описано усі її підалгебри. Такі підалгебри індукують відповідні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів та їх інтерпретації. Введено та досліджено відношення логічного G-наслідку.

  Повний текст PDF - 1.146 Mb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"