Publication:3281057

zbMath0100.01001MaRDI QIDQ3281057

A. A. Muchnik, Yu. I. Yanov

Publication date: 1959

Mathematics Subject Classification ID

03-XX: Mathematical logic and foundations

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, A-classification of idempotent functions of many-valued logic, Closed classes of the three-valued logic generated by systems containing symmetric functions, Rational equivalence of algebras, its clone generalizations, and clone categoricity., On the number of finite algebraic structures, Existence of finite bases in closed classes of Boolean functions, On the enumeration closure operator in multivalued logic, On Boolean primitive positive clones, Superstructures of the class of polynomials in \(P_ K\), Shuffle on trajectories: Syntactic constraints, Parametric expressibility of functions of three-valued logic, Learnability of quantified formulas., Basic positively closed classes in three-valued logic, Closed classes of polynomials modulo \(p^2\), On the logical equivalence of functional clones, On bases of closed classes of vector functions of many-valued logic, Fragments of functional clones, Cardinality of the set of delta-closed classes of functions of multi-valued logic, Closed classes containing a homogeneous function class, Completeness of systems of functions of \(k\)-valued logic associated with transformation groups of variables, Algebra of algorithms and Kaluzhnin's graph-schemas, Monoid intervals in lattices of clones, On separation of Boolean clones by means of hyperidentities, Semirigid sets of diamond orders, The cardinality of the set of all clones containing a given minimal clone on three elements, Classes of functions closed with respect to a special superposition operation, On congruences in closed Post classes, A family of classes of functions closed with respect to a strengthened superposition operation, Closure operators with positive connectives and quantifiers, Classes of functions of multi-valued logic closed with respect to superposition and inversion operations, Closed classes generated by symmetric functions in the three-valued logic, Classes generated by monotone symmetric functions in the three-valued logic, Completeness of systems of functions for classes of extended superposition, A classification of universal algebras by infinitary relations, Monoidal intervals on three- and four-element sets, On the Computational Complexity of Monotone Constraint Satisfaction Problems, Description of the family of G-complete classes of k-valued logic