Пропустити команди стрічки
Перейти до основного вмісту
Увійти
Наукові публікації і видавнича діяльність НАН України
Книжкові видання
Equivalential unversal Horn theories

Книжкове видання

українська
Анотація:У монографії розглянуто поширення концепції Мальцева про раціональну еквівалентність передмноговидів чистих алгебр на передмноговиди алгебраїчних систем, обгрунтовуючи це поширення категоріальною характеризацією в стилі Мальцева. Далі ми поширюємо поняття еквівалентної чисто алгебраїчної семантики, що є передмноговидом чистих алгебр, на передмноговиди алгебраїчних систем. Таким[⇒] чином, поняття еквіваленційної УХТ виникає як відповідне поширення алґебризовної УХТ, причому кожна еквіваленційна УХТ має єдину (по модулю раціональної еквівалентності) еквівалентну алгебраїчну семантику. Далі ми застосовуємо нашу загальну теорію еквівалентності універсальних хорніївських теорій для зведення проблеми пошуку поширень еквіваленційної УХТ до проблем пошуку підпередмноговидів її еквівалентної алгебричної семантики. Наше загальне дослідження може бути добре застосовано до еквіваленційних секвенційних числень зі структурними правилами, пов'язаними з скінченнозначними логіками з визначником рівності.
англійська
Анотація:As a preliminary point, we start from extending Mal'cev's concept of rational equivalence of prevarieties of pure algebras to those of algebraic systems justifying this extension by a Mal'cev-style categorical characterization. Next, we extend the concept of equivalent purely-algebraic semantics, being a prevariety of pure algebras, to prevarieities of algebraic systems. In this[⇒] way, the concept of equivalential UHT arises as the respective extension of the one of algebraizable UHT, each equivalential UHT having a unique (modulo rational equivalence) equivalent algebraic semantics. We then apply our general theory of equivalence of universal Horn theories to reducing the problem of finding extensions of an equivalential UHT to that of finding subprevarieties of its equivalent algebraic semantics. Our general elaboration is well-applicable to equivalential sequent calculi with structural rules associated with finitely-valued logics with equality determinant.Finally, we exemplify our general study by exploring four examples of non-algebraizable sequent calculi of such a kind, one of them being equivalent to the corresponding sentential logic.
Вид видання: Монографії
Рубрика: Математика
Автор(и): P. Pynko
Де і ким видано: Saarbrücken : LAP Lambert Academic Publishing
Рік: 2018
Обсяг: 88 p. (Обл.-вид. арк. 5,5)
ISBN:
978-613-4-98596-3
Елементи для відображення відсутні.
© Інститут програмних систем НАН України , 2023