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.
- 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)
- Finite degree: algebras in general and semigroups in particular (Q766125) (← links)
- Application of bi-elemental Boolean algebra to electronic circuits (Q766847) (← links)
- Unary polynomials in algebras. I (Q798350) (← links)
- Attribute-efficient learning of Boolean functions from Post closed classes (Q828191) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- The complexity of constraint satisfaction games and QCSP (Q840700) (← links)
- On a class of bases for Boolean functions (Q843614) (← 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)
- On the enumeration closure operator in multivalued logic (Q893188) (← 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)
- The axiomatization of override and update (Q975885) (← links)
- A note on the expressibility problem for modal logics and star-free regular expressions (Q987808) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- The complexity of propositional implication (Q989577) (← links)
- Information loss in knowledge compilation: a comparison of Boolean envelopes (Q991010) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Equivalence of operations with respect to discriminator clones (Q1011699) (← links)
- The complexity of satisfiability problems: Refining Schaefer's theorem (Q1015812) (← links)
- All clones are centralizer clones (Q1040654) (← links)
- Bases for Boolean co-clones (Q1044708) (← 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)