scientific article
From MaRDI portal
Publication:3281057
zbMath0100.01001MaRDI QIDQ3281057
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Closure operators with positive connectives and quantifiers ⋮ On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set ⋮ Algebra of algorithms and Kaluzhnin's graph-schemas ⋮ Unnamed Item ⋮ Closed classes of the three-valued logic generated by systems containing symmetric functions ⋮ Classes of functions of multi-valued logic closed with respect to superposition and inversion operations ⋮ Rational equivalence of algebras, its clone generalizations, and clone categoricity. ⋮ Description of the family of G-complete classes of k-valued logic ⋮ Superstructures of the class of polynomials in \(P_ K\) ⋮ Basic positively closed classes in three-valued logic ⋮ Closed classes of polynomials modulo \(p^2\) ⋮ Monoid intervals in lattices of clones ⋮ On separation of Boolean clones by means of hyperidentities ⋮ On the logical equivalence of functional clones ⋮ On bases of closed classes of vector functions of many-valued logic ⋮ Semirigid sets of diamond orders ⋮ Shuffle on trajectories: Syntactic constraints ⋮ Unnamed Item ⋮ The cardinality of the set of all clones containing a given minimal clone on three elements ⋮ On the enumeration closure operator in multivalued logic ⋮ Parametric expressibility of functions of three-valued logic ⋮ The lattice of clones of self-dual operations collapsed ⋮ On bases of all closed classes of Boolean vector functions ⋮ Submaximal clones over a three-element set up to minor-equivalence ⋮ Fragments of functional clones ⋮ Monoidal intervals on three- and four-element sets ⋮ Learnability of quantified formulas. ⋮ On the number of finite algebraic structures ⋮ Cardinality of the set of delta-closed classes of functions of multi-valued logic ⋮ On Boolean primitive positive clones ⋮ ON LOWER BOUNDS FOR COMPLEXITY OVER INFINITE BASISES FOR FUNCTIONS OF MULTI-VALUED LOGIC ⋮ The lattice of monomial clones on finite fields ⋮ On the efficiency of normal form systems for representing Boolean functions ⋮ Closed classes containing a homogeneous function class ⋮ On congruences in closed Post classes ⋮ Classes of functions closed with respect to a special superposition operation ⋮ A-classification of idempotent functions of many-valued logic ⋮ On the Computational Complexity of Monotone Constraint Satisfaction Problems ⋮ 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 ⋮ Solution sets of systems of equations over finite lattices and semilattices ⋮ Infinitely generated classes of 01-functions of three-valued logic ⋮ Completeness of systems of functions of \(k\)-valued logic associated with transformation groups of variables ⋮ Two-element structures modulo primitive positive constructability ⋮ Existence of finite bases in closed classes of Boolean functions ⋮ Abstract relations between functional clones ⋮ A family of closed classes in \(k\)-valued logic ⋮ Unnamed Item ⋮ A classification of universal algebras by infinitary relations ⋮ Unnamed Item ⋮ Minimal distance of propositional models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The set of closed classes \(P_{k+1}\) that can be homomorphically mapped on \(P_k\) has the cardinality of continuum ⋮ Continuality of classes of functions in multivalued logic with minimal logarithmic growth rate ⋮ Completeness criterion with respect to the enumeration closure operator in the three-valued logic ⋮ Finite degree clones are undecidable ⋮ Implicit expressibility in multiple-valued logic ⋮ On the number of universal algebraic geometries ⋮ A family of classes of functions closed with respect to a strengthened superposition operation
