The following pages link to Identities in Two-Valued Calculi (Q5806804):
Displaying 41 items.
- Semigroups embeddable in hyperplane face monoids. (Q467529) (← links)
- Quasi-equational bases for graphs of semigroups, monoids and groups. (Q535220) (← links)
- Application of bi-elemental Boolean algebra to electronic circuits (Q766847) (← links)
- The finite basis question for semigroups of order less than six (Q786928) (← links)
- Quasiidentities of two-element algebras (Q790865) (← links)
- On the varieties generated by ai-semirings of order two. (Q896240) (← links)
- Lyndon's groupoid is not inherently nonfinitely based (Q915755) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849) (← links)
- A proof of Lyndon's finite basis theorem (Q1147174) (← links)
- A four-element algebra whose identities are not finitely based (Q1147176) (← links)
- Finite groupoids without finite bases for their identities (Q1159702) (← links)
- A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties (Q1160209) (← links)
- Infinite chains of non-finitely based equational theories of finite algebras (Q1160210) (← links)
- 2-element matrices (Q1168307) (← links)
- Strongly finitely based equational theories (Q1180703) (← links)
- A field guide to equational logic (Q1201350) (← links)
- The fine spectrum of a variety (Q1229740) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Congruence-distributive polynomial reducts of lattices (Q1257915) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231) (← links)
- Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions (Q2342799) (← links)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Algebraic properties of some quadratic dynamical systems (Q2490018) (← links)
- Equivalent transformations of formulas in \(P_2\). (Q2513087) (← links)
- Bases for equational theories of semi-groups (Q2536632) (← links)
- The lattice of semigroup varieties (Q2548669) (← links)
- Flat extensions of groups and limit varieties of additively idempotent semirings (Q2694733) (← links)
- A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967) (← links)
- Various varieties (Q3214990) (← links)
- EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER (Q3560283) (← links)
- Parallelizable algebras (Q3773330) (← links)
- (Q3832626) (← links)
- (Q4508825) (← links)
- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Q4586415) (← links)
- THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE (Q4986300) (← links)
