|
VIDEO LIBRARY |
International workshop "Syntax and semantics of logical systems"
|
|||
|
Algebras of unary multioperations of finite rank N. A. Peryazev Saint Petersburg Electrotechnical University "LETI" |
|||
Abstract: In work binary relation as unary multioperations are considered. Algebras of unary multioperations in a signature binary metaoperations of substitution and crossing, unary metaoperation of reversibility and constant metaoperations identical, empty and full are defined. Identities in such algebras are studied. |