Predicate transformations in a k-valued logic

MaRDI QIDQ1122569zbMATH OpenFDO

Authors S. A. Lapshov

Publication date 1988

Published in Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

automorphism groupsfunctions over k-valued logichypergraphsemigroup of endomorphisms

Mathematics Subject Classification ID

Many-valued logic (03B50) Hypergraphs (05C65) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25)

Review text

Let \({\mathcal M}_{R_ k}^{(n)}\) be a class of (n-ary) functions over k- valued logic preserving the predicate \(R_ k(x_ 1,...,x_ h)\). Then the basic result of the paper states that the semigroup of endomorphisms of \({\mathcal M}_{R_ k}^{(n)}\) coincides with the semigroup of endomorphisms of a certain hypergraph \&\({}^ nG_{R_ k}\). It follows that also the automorphism groups coincide and that for specific relations \(R_ k\) the hypergraph can be replaced by a directed graph or a graph.

Recommendations

• scientific article; zbMATH DE number 437436
• The mimber of functions in some closed classes of partial k-valued logic
• scientific article; zbMATH DE number 3950489
• scientific article; zbMATH DE number 701115
• scientific article; zbMATH DE number 781196

Cited in

(5)

• Generic transformations of predicate encodings: constructions and applications
• scientific article; zbMATH DE number 437436 (Why is no real title available?)
• scientific article; zbMATH DE number 3950489 (Why is no real title available?)
• scientific article; zbMATH DE number 4041872 (Why is no real title available?)
• scientific article; zbMATH DE number 512951 (Why is no real title available?)

This page was built for publication: Predicate transformations in a k-valued logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1122569)