Multi-algebras from the viewpoint of algebraic logic

Where  \(U\)  is a structure for a first-order language \(\mathcal{L}^\approx\) with equality  \(\approx\), a standard construction associates with every formula \(f\) of \(\mathcal{L}^\approx\) the set \({\parallel}{f}{\parallel}\) of those  assignments which fulfill  \(f\) in \(U\).  These sets ma...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2018
Автор: Cırulis, Janis
Формат: Стаття
Мова:English
Опубліковано: Lugansk National Taras Shevchenko University 2018
Теми:
Онлайн доступ:https://admjournal.luguniv.edu.ua/index.php/adm/article/view/950
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Algebra and Discrete Mathematics

Репозитарії

Algebra and Discrete Mathematics