On a power of relational structures

Vítězslav Novák · Czechoslovak Mathematical Journal · 1985

The aim of this paper is to define direct operations and an operation of a power for relational structures and to prove their properties.In particular, a power satisfies the expected rules with the exception of (G")^ ^ G'^**.We derive sufficient con ditions for the vahdity of that law.

Read the paper · More papers on PaperTik