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.
- 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)
- 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)