|
-
Ключові слова:
неокласичні логіки, неоклассические логики ; програмні алгебри, программные алгебры
-
Анотація:
В ієрархії логік часткових предикатів реномінативні логіки займають проміжне місце між пропозиційними та кванторними логіками. В статті досліджуються реномінативні алгебри предикатів, визначається мова реномінативної логіки та будується її повне інфінітарне екваційне числення.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 