Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/46
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cirulis, Janis | - |
dc.date.accessioned | 2015-10-19T07:29:56Z | - |
dc.date.available | 2015-10-19T07:29:56Z | - |
dc.date.issued | 2002-10-09 | - |
dc.identifier.uri | http://hdl.handle.net/123456789/46 | - |
dc.description | 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 formulas. If L¼ does not have predicate symbols distinct from ≈, i.e. U is an ordinary algebra, then Cs(U) is generated by its elements ks ≈ tk; thus, the function (s, t) 7→ ks ≈ tk comprises all information on Cs(U). In the paper, we consider the analogues of such functions for multi-algebras. Instead of ≈, the relation " of singular inclusion is accepted as the basic one (s"t is read as ‘s has a single value, which is also a value of t’). Then every multi-algebra U can be completely restored from the function (s, t) 7→ ks " tk. The class of such functions is given an axiomatic description. | uk_UA |
dc.language.iso | en | uk_UA |
dc.publisher | Луганский национальный университет им. Т. Шевченко | uk_UA |
dc.subject | алгебра | uk_UA |
dc.title | Multi-algebras from the viewpoint of algebraic logic | uk_UA |
dc.type | Article | uk_UA |
Appears in Collections: | Статті |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
adm-n1-2003-3.pdf | 158.11 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.