RUS  ENG
Full version
VIDEO LIBRARY

International workshop "Syntax and semantics of logical systems"
August 15, 2019 11:10, Ņamp site on the shore of Lake Hovsgol


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.


© Steklov Math. Inst. of RAS, 2024