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.
- Recognizing frozen variables in constraint satisfaction problems (Q706617) (← links)
- The unique minimal clone with three essentially binary operations (Q749560) (← links)
- Inductive representations of Boolean functions and the finite generation of the Post classes (Q760427) (← links)
- Existence of finite bases in closed classes of Boolean functions (Q760428) (← links)
- Application of bi-elemental Boolean algebra to electronic circuits (Q766847) (← links)
- Unary polynomials in algebras. I (Q798350) (← links)
- Composition of Post classes and normal forms of Boolean functions (Q856872) (← links)
- Descending chains and antichains of the unary, linear, and monotone subfunction relations (Q862976) (← links)
- Towards a dichotomy theorem for the counting constraint satisfaction problem (Q879594) (← links)
- Intersections of finitely generated clones (Q915751) (← links)
- Lyndon's groupoid is not inherently nonfinitely based (Q915755) (← links)
- Computational complexity of auditing finite attributes in statistical databases (Q931731) (← links)
- On Boolean primitive positive clones (Q932583) (← links)
- Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187) (← links)
- Isomorphism and local isomorphism of clones of spaces (Q946586) (← links)
- Structure identification of Boolean relations and plain bases for co-clones (Q955340) (← links)
- Nontabularity of the logic S4 with respect to functional completeness (Q1055758) (← links)
- Generalized equivalence: A pattern of mathematical expression (Q1068078) (← links)
- Every idempotent plain algebra generates a minimal variety (Q1089020) (← links)
- Positive Boolean dependencies (Q1100944) (← links)
- Finite algebras with large free spectra (Q1118629) (← links)
- Shuffle on trajectories: Syntactic constraints (Q1128661) (← links)
- A proof of Lyndon's finite basis theorem (Q1147174) (← links)
- Algebras of prime cardinality with a cyclic automorphism (Q1165263) (← links)
- 2-element matrices (Q1168307) (← links)
- Generating sequences for \(k\)-valued logic (Q1194257) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Simple Abelian algebras (Q1208094) (← links)
- The number of self-dual types in finite-valued logics (Q1229703) (← links)
- The fine spectrum of a variety (Q1229740) (← links)
- The set of maximal closed classes of operations on an infinite set \(A\) has cardinality \(2^{2| A|}\) (Q1233015) (← links)
- Characteristic measures of switching functions (Q1243267) (← links)
- Congruence-distributive polynomial reducts of lattices (Q1257915) (← links)
- A projection property (Q1272199) (← links)
- Clone classification of dually discriminator algebras with finite support (Q1274106) (← links)
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- Issues of algorithmics and Glushkov's systems of algorithmic algebras (Q1288661) (← links)
- Term minimal algebras (Q1342128) (← links)
- Optimal satisfiability for propositional calculi and constraint satisfaction problems. (Q1426002) (← links)
- Learnability of quantified formulas. (Q1426470) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← 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)
