Multi-algebras from the viewpoint of algebraic logic
Where U is a structure for a first-order language L ≈ with equality ≈, a standard construction associates with every formula f of L ≈ the set kfk of those assignments which fulfill f in U. These sets make up a (cylindric like) set algebra Cs(U) that is a homomorphic image of the algebra of for...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2003
|
| Schriftenreihe: | Algebra and Discrete Mathematics |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/154670 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Multi-algebras from the viewpoint of algebraic logic / J. Cırulis // Algebra and Discrete Mathematics. — 2003. — Vol. 2, № 1. — С. 20–31. — Бібліогр.: 17 назв. — англ. |