| 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 |
| Completeness of a relational calculus for program schemes | 2001-08-20 | 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 |
| Splitting in Relation Algebras | 1991-01-01 | Paper |
| The Neat Embedding Problem and the Number of Variables Required in Proofs | 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 |
| Nonfinite axiomatizability results for cylindric and relation algebras | 1989-01-01 | Paper |
| Canonical Relativized Cylindric Set 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 |
| Some Varieties Containing Relation Algebras | 1982-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 |
| 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 |
