| Publication | Date of Publication | Type |
|---|
| Tarski's Q-relation algebras and Thompson's groups | 2023-09-23 | Paper |
Tarskian Classical Relevant Logic
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Canonical Relativized Cylindric Set Algebras and Weak Associativity
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
| Formulas generalizing Pappus and Desargues | 2020-11-24 | Paper |
Relation algebras of Sugihara, Belnap, Meyer, and Church
Journal of Logical and Algebraic Methods in Programming | 2020-11-09 | Paper |
Tarskian classical relevant logic
(available as arXiv preprint) | 2020-01-28 | Paper |
| Tarski's relevance logic; Version 2 | 2019-01-19 | Paper |
Finite representations for two small relation algebras
Algebra Universalis | 2018-11-23 | Paper |
Subcompletions of representable relation algebras
Algebra Universalis | 2018-07-16 | Paper |
An error in a proof in: Boolean algebras with operators. I
Algebra Universalis | 2018-07-16 | Paper |
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
The Review of Symbolic Logic | 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
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Weak representations of relation algebras and relational bases
Journal of Symbolic Logic | 2011-10-10 | Paper |
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
The Review of Symbolic Logic | 2010-04-01 | Paper |
RELEVANCE LOGICS AND RELATION ALGEBRAS
The Review of Symbolic Logic | 2009-07-30 | Paper |
Chromatic graphs, Ramsey numbers and the flexible atom conjecture
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Chromatic graphs, Ramsey numbers and the flexible atom conjecture
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Finite Symmetric Integral Relation Algebras with No 3-Cycles
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Relation algebras
Studies in Logic and the Foundations of Mathematics | 2007-03-06 | Paper |
Nonrepresentable relation algebras generated by functional elements
Algebra Universalis | 2006-01-06 | Paper |
Finite, integral, and finite-dimensional relation algebras: A brief history
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
Provability with Finitely Many Variables
The Bulletin of Symbolic Logic | 2003-11-19 | Paper |
Relation algebra reducts of cylindric algebras and an application to proof theory
Journal of Symbolic Logic | 2002-10-29 | Paper |
Completeness of a relational calculus for program schemes
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1303457 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1086627 (Why is no real title available?) | 1997-11-13 | Paper |
Nonrepresentable sequential algebras
Logic Journal of the IGPL | 1997-09-10 | Paper |
Relation-algebraic semantics
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 868090 (Why is no real title available?) | 1996-09-09 | Paper |
Total tense algebras and symmetric semiassociative relation algebras
Algebra Universalis | 1996-05-02 | Paper |
Representations for small relation algebras
Notre Dame Journal of Formal Logic | 1995-11-26 | Paper |
On binary constraint problems
Journal of the ACM | 1995-06-07 | Paper |
Finitary algebraic logic II
Mathematical Logic Quarterly | 1995-05-14 | Paper |
Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\)
Algebra Universalis | 1995-02-22 | Paper |
A perspective on the theory of relation algebras
Algebra Universalis | 1995-01-03 | Paper |
Undecidable semiassociative relation algebras
Journal of Symbolic Logic | 1994-08-15 | Paper |
| scientific article; zbMATH DE number 475194 (Why is no real title available?) | 1994-06-14 | Paper |
Relation algebras of every dimension
Journal of Symbolic Logic | 1993-04-01 | Paper |
The origin of relation algebras in the development and axiomatization of the calculus of relations
Studia Logica | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67035 (Why is no real title available?) | 1992-09-27 | Paper |
| Pair-Dense Relation Algebras | 1992-06-27 | Paper |
Splitting in Relation Algebras
Proceedings of the American Mathematical Society | 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
Algebra Universalis | 1990-01-01 | Paper |
A relation algebra which is not a cylindric reduct
Algebra Universalis | 1990-01-01 | Paper |
Finitary Algebraic Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
Nonfinite axiomatizability results for cylindric and relation algebras
Journal of Symbolic Logic | 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
Journal of Combinatorial Theory. Series A | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3933071 (Why is no real title available?) | 1985-01-01 | Paper |
A sequent calculus for relation algebras
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
| Some Varieties Containing Relation Algebras | 1982-01-01 | Paper |
Equations not preserved by complete extensions
Algebra Universalis | 1982-01-01 | Paper |
On the dependence of functions on their variables
Journal of Combinatorial Theory. Series A | 1982-01-01 | Paper |
Embedding modular lattices into relation algebras
Algebra Universalis | 1981-01-01 | Paper |
The equational theory of CA3 is undecidable
Journal of Symbolic Logic | 1980-01-01 | Paper |
Some sufficient conditions for the representability of relation algebras
Algebra Universalis | 1978-01-01 | Paper |
