The following pages link to Roger D. Maddux (Q406454):
Displaying 50 items.
- Arrow's theorem for incomplete relations (Q406455) (← links)
- (Q589174) (redirect page) (← links)
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Embedding modular lattices into relation algebras (Q599841) (← links)
- Equationally distinct countable simple {\textsf{Q}}-relation algebras (Q607448) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Relation algebras by games (Q700879) (← links)
- Necessary subalgebras of simple nonintegral semiassociative relation algebras (Q757364) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- On amalgamation in algebras of logic (Q817679) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- On some developments in the representation theory of cylindric-like algebras (Q861612) (← links)
- Relation algebras (Q868510) (← links)
- Amalgamation, interpolation and epimorphisms in algebraic logic (Q873743) (← links)
- A relation algebra which is not a cylindric reduct (Q911588) (← links)
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Chromatic graphs, Ramsey numbers and the flexible atom conjecture (Q1010763) (← links)
- Equations not preserved by complete extensions (Q1055771) (← links)
- (Q1073029) (redirect page) (← links)
- Addendum to the paper ''On the dependence of functions on their variables'' (Q1073030) (← links)
- On the dependence of functions on their variables (Q1168969) (← links)
- The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893) (← links)
- Some sufficient conditions for the representability of relation algebras (Q1249576) (← links)
- (Q1312167) (redirect page) (← links)
- Relation algebras as residuated Boolean algebras (Q1312168) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) (Q1344846) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Weakly associative relation algebras with polyadic composition operations (Q1595918) (← links)
- Finite representations for two small relation algebras (Q1623243) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- An error in a proof in: Boolean algebras with operators. I (Q1652869) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- A quick construction of a retraction of all retractions for stable bifinites (Q1891153) (← links)
- Representations for small relation algebras (Q1903131) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Relation algebras with \(n\)-dimensional relational bases (Q1964020) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Improved bounds on the size of the smallest representation of relation algebra \(32_{65}\) (Q2159495) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Atoms in infinite dimensional free sequence-set algebras (Q2328129) (← links)
- Nonrepresentable relation algebras generated by functional elements (Q2577687) (← links)
- Bifunctional-elementary relation algebras (Q2655232) (← links)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- The Neat Embedding Problem and the Number of Variables Required in Proofs (Q3204457) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
