Pages that link to "Item:Q5845380"
From MaRDI portal
The following pages link to The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) (Q5845380):
Displayed 50 items.
- Basic positively closed classes in three-valued logic (Q1669569) (← links)
- Closed classes of polynomials modulo \(p^2\) (Q1669571) (← links)
- On the shape of solution sets of systems of (functional) equations (Q1675094) (← links)
- On bases of closed classes of vector functions of many-valued logic (Q1675537) (← links)
- Pivotal decomposition schemes inducing clones of operations (Q1702140) (← links)
- Cardinality of the set of delta-closed classes of functions of multi-valued logic (Q1725544) (← links)
- Minor posets of functions as quotients of partition lattices (Q1732800) (← links)
- On the clone of aggregation functions on bounded lattices (Q1750535) (← links)
- On the distribution of three-valued functions over precomplete classes (Q1759164) (← links)
- Endpoints of associated intervals for local clones on an infinite set (Q1800465) (← links)
- Endoprimal distributive lattices (Q1802259) (← links)
- Some maximal closed classes of operations on infinite sets (Q1843583) (← links)
- Definability of Boolean function classes by linear equations over \(\mathbf{GF}(2)\) (Q1878398) (← links)
- Post classes characterized by functional terms (Q1878400) (← links)
- The median in multidimensional spaces (Q1883384) (← links)
- On the centralizer of the join operation of a finite lattice (Q1902534) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Finite sublattices in the lattice of clones (Q1908449) (← links)
- Monoid intervals in lattices of clones (Q1918781) (← links)
- On separation of Boolean clones by means of hyperidentities (Q1921845) (← links)
- Functional completeness criteria in Dijkstra algebra (Q1922339) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- A general Galois theory for operations and relations in arbitrary categories (Q1935011) (← links)
- The cardinality of the set of all clones containing a given minimal clone on three elements (Q1935019) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- The complexity of problems for quantified constraints (Q1959381) (← links)
- From logical gates synthesis to chromatic bicritical clutters (Q1961457) (← links)
- Maximal clones in monoidal intervals. I (Q1972204) (← links)
- Criteria of functional completeness for meta-algebras without assignments of logical constants (Q1974307) (← links)
- Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment (Q1974334) (← links)
- On the efficiency of normal form systems for representing Boolean functions (Q1989340) (← links)
- Subalgebra lattices of totally reflexive sub-preprimal algebras (Q1999234) (← links)
- On the complexity of the clone membership problem (Q2048213) (← links)
- Closed sets of finitary functions between products of finite fields of coprime order (Q2057102) (← links)
- Infinitely generated classes of 01-functions of three-valued logic (Q2058708) (← links)
- On the number of universal algebraic geometries (Q2108528) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- On classes of superfunctions on two-element set (Q2131408) (← links)
- The orbit of closure-involution operations: the case of Boolean functions (Q2143383) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- On bases of closed classes of Boolean vector functions (Q2209254) (← links)
- Closed sets of finitary functions between finite fields of coprime order (Q2210121) (← links)
- Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem (Q2221799) (← links)
- The maximal cardinality of the base in \(P_2\times P_2 \) (Q2221968) (← links)
- The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems (Q2235760) (← links)
- The lattice of monomial clones on finite fields (Q2238022) (← links)
- On self-correcting logic circuits of unreliable gates (Q2241352) (← links)
- Dichotomy results for fixed point counting in Boolean dynamical systems (Q2257296) (← links)
- On congruences in closed Post classes (Q2264663) (← links)
- On the role of logical connectives for primality and functional completeness of algebras of logics (Q2269795) (← links)