The expressibility and completeness conditions for sheaves of logic functions

zbMath0962.03017MaRDI QIDQ1593940

V. V. Kudryavtsev

Publication date: 28 January 2001

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

network\(k\)-valued logicclosure operatoralgorithmically solvable problemfinitely generated functional systemSheffer \(s\)-function

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Many-valued logic (03B50)

This page was built for publication: The expressibility and completeness conditions for sheaves of logic functions