Publication:3281057
From MaRDI portal
zbMath0100.01001MaRDI QIDQ3281057
Publication date: 1959
03-XX: Mathematical logic and foundations
Related Items
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., Existence of finite bases in closed classes of Boolean functions, 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., 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, On congruences in closed Post classes, A classification of universal algebras by infinitary relations, On the Computational Complexity of Monotone Constraint Satisfaction Problems, Description of the family of G-complete classes of k-valued logic