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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2018
1. Verfasser: Cırulis, Janis
Format: Artikel
Sprache:English
Veröffentlicht: Lugansk National Taras Shevchenko University 2018
Schlagworte:
Online Zugang:https://admjournal.luguniv.edu.ua/index.php/adm/article/view/950
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Algebra and Discrete Mathematics

Institution

Algebra and Discrete Mathematics