Увімкнення більш доступного режиму
Пропустити команди стрічки
Перейти до основного вмісту
Вимкнути анімацію
Увійти
Scientific Publications and Publishing Activity of NAS of Ukraine
Books
Equivalential unversal Horn theories

Book

Ukrainian
Summary:У монографії розглянуто поширення концепції Мальцева про раціональну еквівалентність передмноговидів чистих алгебр на передмноговиди алгебраїчних систем, обгрунтовуючи це поширення категоріальною характеризацією в стилі Мальцева. Далі ми поширюємо поняття еквівалентної чисто алгебраїчної семантики, що є передмноговидом чистих алгебр, на передмноговиди алгебраїчних систем. Таким[⇒] чином, поняття еквіваленційної УХТ виникає як відповідне поширення алґебризовної УХТ, причому кожна еквіваленційна УХТ має єдину (по модулю раціональної еквівалентності) еквівалентну алгебраїчну семантику. Далі ми застосовуємо нашу загальну теорію еквівалентності універсальних хорніївських теорій для зведення проблеми пошуку поширень еквіваленційної УХТ до проблем пошуку підпередмноговидів її еквівалентної алгебричної семантики. Наше загальне дослідження може бути добре застосовано до еквіваленційних секвенційних числень зі структурними правилами, пов'язаними з скінченнозначними логіками з визначником рівності.
English
Summary: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.
Type of publication: Monographs
Rubric: Mathematics
Author(s): P. Pynko
Where and by whom is issued: Saarbrücken : LAP Lambert Academic Publishing
Year: 2018
Scope: 88 p. (Обл.-вид. арк. 5,5)
ISBN: 978-613-4-98596-3
Елементи для відображення відсутні.
© Інститут програмних систем НАН України , 2023