Roger D. Maddux

Available identifiers

zbMath Open maddux.roger-dWikidataQ7358572 ScholiaQ7358572MaRDI QIDQ406454

List of research outcomes

Publication	Date of Publication	Type
Tarski's Q-relation algebras and Thompson's groups	2023-09-23	Paper
Tarskian Classical Relevant Logic	2022-02-04	Paper
Canonical Relativized Cylindric Set Algebras and Weak Associativity	2021-12-10	Paper
Formulas generalizing Pappus and Desargues	2020-11-24	Paper
Relation algebras of Sugihara, Belnap, Meyer, and Church	2020-11-09	Paper
Tarskian classical relevant logic	2020-01-28	Paper
Tarski's relevance logic; Version 2	2019-01-19	Paper
Finite representations for two small relation algebras	2018-11-23	Paper
Subcompletions of representable relation algebras	2018-07-16	Paper
An error in a proof in: Boolean algebras with operators. I	2018-07-16	Paper
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS	2017-05-31	Paper
The finite representation property fails for composition and intersection	2016-04-05	Paper
Gallai's Theorem	2014-11-04	Paper
Arrow's theorem for incomplete relations	2014-09-08	Paper
Weak representations of relation algebras and relational bases	2011-10-10	Paper
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS	2010-04-01	Paper
RELEVANCE LOGICS AND RELATION ALGEBRAS	2009-07-30	Paper
Chromatic graphs, Ramsey numbers and the flexible atom conjecture	2009-04-07	Paper
Finite Symmetric Integral Relation Algebras with No 3-Cycles	2008-04-24	Paper
Relation algebras	2007-03-06	Paper
Nonrepresentable relation algebras generated by functional elements	2006-01-06	Paper
Finite, integral, and finite-dimensional relation algebras: A brief history	2004-08-06	Paper
Provability with Finitely Many Variables	2003-11-19	Paper
Relation algebra reducts of cylindric algebras and an application to proof theory	2002-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4250068	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4362875	1997-11-13	Paper
Nonrepresentable sequential algebras	1997-09-10	Paper
Relation-algebraic semantics	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4873973	1996-09-09	Paper
Total tense algebras and symmetric semiassociative relation algebras	1996-05-02	Paper
Representations for small relation algebras	1995-11-26	Paper
On binary constraint problems	1995-06-07	Paper
Finitary algebraic logic II	1995-05-14	Paper
Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\)	1995-02-22	Paper
A perspective on the theory of relation algebras	1995-01-03	Paper
Undecidable semiassociative relation algebras	1994-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q4273431	1994-06-14	Paper
Relation algebras of every dimension	1993-04-01	Paper
The origin of relation algebras in the development and axiomatization of the calculus of relations	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011723	1992-09-27	Paper
Pair-Dense Relation Algebras	1992-06-27	Paper
The Neat Embedding Problem and the Number of Variables Required in Proofs	1991-01-01	Paper
Splitting in Relation Algebras	1991-01-01	Paper
Necessary subalgebras of simple nonintegral semiassociative relation algebras	1990-01-01	Paper
A relation algebra which is not a cylindric reduct	1990-01-01	Paper
Finitary Algebraic Logic	1989-01-01	Paper
Canonical Relativized Cylindric Set Algebras	1989-01-01	Paper
Nonfinite axiomatizability results for cylindric and relation algebras	1989-01-01	Paper
Addendum to the paper On the dependence of functions on their variables	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3708022	1985-01-01	Paper
A sequent calculus for relation algebras	1983-01-01	Paper
Equations not preserved by complete extensions	1982-01-01	Paper
On the dependence of functions on their variables	1982-01-01	Paper
Some Varieties Containing Relation Algebras	1982-01-01	Paper
Embedding modular lattices into relation algebras	1981-01-01	Paper
The equational theory of CA3 is undecidable	1980-01-01	Paper
Some sufficient conditions for the representability of relation algebras	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roger D. Maddux