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):
Displaying 50 items.
- 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)
- 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)
- Galois connection for multiple-output operations (Q1652848) (← links)
- 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)
