Multi-algebras from the viewpoint of algebraic logic

• Veröffentlicht in: Algebra and Discrete Mathematics
• Datum: 2003
• 1. Verfasser: Cırulis, J.
• Format: Artikel
• Sprache: English
• Veröffentlicht: Інститут прикладної математики і механіки НАН України 2003
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/154670
• Назва журналу: 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 назв. — англ.

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