Roger Maddux

Q: What Schools Are Affiliated With Roger Maddux

Roger Maddux is affiliated with the following schools: University of California, Berkeley, Princeton University, Stanford University, Pomona College

Roger Maddux's AcademicInfluence.com Rankings

Roger Maddux

Mathematics

#1336

World Rank

#2229

Historical Rank

#552

USA Rank

Complex Analysis

#31

World Rank

#46

Historical Rank

#13

USA Rank

Algebra

#48

World Rank

#84

Historical Rank

#17

USA Rank

Group Theory

#263

World Rank

#310

Historical Rank

#57

USA Rank

mathematics Degrees

Download Badge

Mathematics

Roger Maddux's Degrees

PhD Mathematics Princeton University
Masters Mathematics Stanford University

Why Is Roger Maddux Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Roger Maddux is an American mathematician specializing in algebraic logic. He completed his B.A. at Pomona College in 1969, and his Ph.D. in mathematics at the University of California, Berkeley in 1978, where he was one of Alfred Tarski's last students. His career has been at Iowa State University, where he fills a joint appointment in computer science and mathematics.

(See a Problem?)

Roger Maddux's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

On binary constraint problems (1994) (226)
Some varieties containing relation algebras (1982) (178)
Relation Algebras (1997) (164)
The origin of relation algebras in the development and axiomatization of the calculus of relations (1991) (137)
Nonfinite axiomatizability results for cylindric and relation algebras (1989) (96)
A sequent calculus for relation algebras (1983) (77)
On binary constraint networks (1989) (74)
Relation-Algebraic Semantics (1996) (71)
The Semantic Foundations of Logic Volume 1: Propositional Logics (1990) (58)
Relation algebra reducts of cylindric algebras and an application to proof theory (2002) (53)
The equational theory of CA3 is undecidable (1980) (51)
Some sufficient conditions for the representability of relation algebras (1978) (46)
Pair-dense relation algebras (1991) (43)
Finitary Algebraic Logic (1989) (36)
Algebraic Logic and Universal Algebra in Computer Science (1988) (35)
Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interc (1990) (34)
Splitting in relation algebras (1991) (27)
Provability with Finitely Many Variables (2002) (25)
Finite integral relation algebras (1985) (24)
Self‐Similarity and the Species‐Area Relationship (2004) (23)
Representations for Small Relation Algebras (1994) (23)
A perspective on the theory of relation algebras (1994) (22)
The algebra of convex time intervals (1987) (21)
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (2010) (20)
On the Distribution and Abundance of Species (1999) (18)
Relation algebras of every dimension (1992) (16)
Chromatic Graphs, Ramsey Numbers and the Flexible Atom Conjecture (2008) (16)
RELEVANCE LOGICS AND RELATION ALGEBRAS (2009) (15)
Embedding modular lattices into relation algebras (1981) (12)
Canonical relativized cylindric set algebras (1989) (12)
Nonrepresentable Sequential Algebras (1997) (11)
Some algebras and algorithms for reasoning about time and space (1989) (11)
The neat embedding problem and the number of variables required in proofs (1991) (11)
Small representations of the relation algebra ɛn+1(1, 2, 3) (1995) (9)
The derivation of identities involving projection functions (1993) (9)
Non-embeddable simple relation algebras (1997) (9)
Relation Algebras for Reasoning about Time and Space (1993) (9)
Necessary subalgebras of simple nonintegral semiassociative relation algebras (1990) (8)
On the Dependence of Functions on Their Variables (1982) (7)
Subcompletions of representable relation algebras (2014) (7)
Undecidable semiassociative relation algebras (1994) (7)
Finitary Algebraic Logic II (1993) (6)
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, J. D. Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras (1985) (6)
Equations not preserved by complete extensions (1982) (6)
Finite representations for two small relation algebras (2017) (4)
A relation algebra which is not a cylindric reduct (1990) (4)
Weak representations of relation algebras and relational bases (2011) (4)
Completeness of a relational calculus for program schemes (1998) (3)
Finite Symmetric Integral Relation Algebras with No 3-Cycles (2006) (3)
The finite representation property fails for composition and intersection (2016) (2)
Total tense algebras and symmetric semiassociative relation algebras (1995) (2)
Arrow's Theorem for incomplete relations (2014) (2)
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS (2013) (2)
Weak Homomorphisms of Coalgebras (2007) (2)
Elementary Problems: E2980-E2985 (1983) (1)
Tarskian Classical Relevant Logic (2020) (1)
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part II (1988) (1)
Relation algebras of Sugihara, Belnap, Meyer, and Church (2019) (1)
Hirsch Robin and Hodkinson Ian. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp. (2003) (1)
Feferman Anita Burdman and Feferman Solomon. Alfred Tarski, Life and Logic Cambridge University Press, Cambridge, 2004, vi + 425 pp. (2005) (1)
The Algebra of Binary Constraint Networks (2007) (1)
Finitary axiomatizations of the true relational equations (1993) (1)
Relevance logic and the calculus of relations Keywords : relevance logic , relation algebras , calculus of relations (2007) (1)
Tarski's relevance logic (2019) (0)
Formulas generalizing Pappus and Desargues (2020) (0)
Henkin Leon, Monk J. Donald, and Tarski Alfred. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp. (1988) (0)
Monk algebras and Ramsey theory (2022) (0)
An error in a proof in Boolean Algebraswith Operators, Part I (2018) (0)
REVIEWS-Alfred Tarski, Life and Logic (2005) (0)
On the number of variables required for proofs (2002) (0)
Review: H. Andreka, T. Gergely, I. Nemeti, On Universal Algebraic Constructions of Logics (1981) (0)
On canonical relativized set relation and cylindric set algebras (2019) (0)
Tarski's relevance logic; Version 2 (2019) (0)
REVIEWS-Relation algebras by games (2003) (0)
Completeness of the Relational Calculus MU2 (1997) (0)
Ration algebras (1997) (0)
Tarski's classical relevant logic (2020) (0)
Review of Alfred Tarski, Collected Papers (Edited by Steven R. Givant and Ralph N. McKenzie) (1993) (0)
Relation algebra reducts of cylindric algebras and anapplication to proof (1998) (0)
Finite, integral, and finite-dimensional relation algebras: a brief history (2004) (0)
An error in a proof in Boolean Algebraswith Operators, Part I (2018) (0)
Review: Maarten Marx, Laszlo Polos, Michael Masuch, Arrow Logic and Multi-Modal Logic (1998) (0)
Canonical Relativized Cylindric Set Algebras and Weak Associativity (2019) (0)
Arrow logic and multi-modal logic , edited by Maarten Marx, László Pólos, and Michael Masuch, Studies in logic, language and information, CSLI Publications, Stanford, and FoLLI, 1996, also distributed by Cambridge University Press, New York, xiv + 247 pp. (1998) (0)
Subcompletions of representable relation algebras (2018) (0)
REVIEWS-Four papers (2001) (0)
Books received (1986) (0)
books to ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, NY 12604, USA (2004) (0)
Andréka H., Gergely T., and Németi I.. On universal algebraic constructions of logics. Studia logica, vol. 36 (1977), pp. 9–47. (1981) (0)
Finite representations for two small relation algebras (2018) (0)
Gallai's Theorem (2014) (0)
Nonrepresentable relation algebras generated by functional elements (2005) (0)
Identities Generalizing the Theorems of Pappus and Desargues (2021) (0)
Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games (2003) (0)
Eric Schechter. Classical and nonclassical logic: an introduction to the mathematics of propositions . Princeton University Press, Princeton and Oxford, 2005, x + 507 pp. (2006) (0)

This paper list is powered by the following services:

Other Resources About Roger Maddux

en.wikipedia.org

What Schools Are Affiliated With Roger Maddux?

Roger Maddux is affiliated with the following schools:

Roger Maddux's Academic­Influence.com Rankings

Roger Maddux's Degrees

Why Is Roger Maddux Influential?

Roger Maddux's Published Works

Published Works

Other Resources About Roger Maddux

What Schools Are Affiliated With Roger Maddux?

Roger Maddux's AcademicInfluence.com Rankings