Predicate transformations in a k-valued logic
type: Item
instance of: scholarly article
title: Predicate transformations in a k-valued logic
zbMATH Open document ID: 0676.03011
author: S. A. Lapshov
published in: Moscow University Computational Mathematics and Cybernetics
publication date: 1988-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 05C65
Mathematics Subject Classification ID: 20B25
zbMATH DE Number: 4106809
zbMATH Keywords: functions over k-valued logic
zbMATH Keywords: semigroup of endomorphisms
zbMATH Keywords: automorphism groups
zbMATH Keywords: hypergraph
reviewed by: Albert Hoogewijs
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4106809