Zobrazeno 1 - 1
of 1
pro vyhledávání: '"пассивные правила вывода"'
Autor:
Stepan I. Bashmakov
We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f618c5ccc1cbce4e823edbca9442b62
https://openrepository.ru/article?id=755484
https://openrepository.ru/article?id=755484