41 found
Order:
Disambiguations
Roger Maddux [23]Roger D. Maddux [23]
  1. Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
    We confirm a conjecture, about neat embeddings of cylindric algebras, made in 1969 by J. D. Monk, and a later conjecture by Maddux about relation algebras obtained from cylindric algebras. These results in algebraic logic have the following consequence for predicate logic: for every finite cardinal α ≥ 3 there is a logically valid sentence X, in a first-order language L with equality and exactly one nonlogical binary relation symbol E, such that X contains only 3 variables (each of which (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  51
    Provability with Finitely Many Variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
    For every finite n ≥ 4 there is a logically valid sentence φ n with the following properties: φ n contains only 3 variables (each of which occurs many times); φ n contains exactly one nonlogical binary relation symbol (no function symbols, no constants, and no equality symbol): φ n has a proof in first-order logic with equality that contains exactly n variables, but no proof containing only n - 1 variables. This result was first proved using the machinery of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  71
    The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
    The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  19
    Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
    The set of equations which use only one variable and hold in all representable relation algebras cannot be derived from any finite set of equations true in all representable relation algebras. Similar results hold for cylindric algebras and for logic with finitely many variables. The main tools are a construction of nonrepresentable one-generated relation algebras, a method for obtaining cylindric algebras from relation algebras, and the use of relation algebras in defining algebraic semantics for first-order logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  5.  72
    Relevance Logic and the Calculus of Relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
    Sound and complete semantics for classical propositional logic can be obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces an interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  12
    A Sequent Calculus for Relation Algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
  7. Relevance Logics and Relation Algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
    Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  21
    Finitary Algebraic Logic.Roger D. Maddux - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):321-332.
  9.  10
    Finitary Algebraic Logic.Roger D. Maddux - 1989 - Mathematical Logic Quarterly 35 (4):321-332.
  10.  24
    Relation Algebras of Every Dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
    Conjecture (1) of [Ma83] is confirmed here by the following result: if $3 \leq \alpha < \omega$, then there is a finite relation algebra of dimension α, which is not a relation algebra of dimension α + 1. A logical consequence of this theorem is that for every finite α ≥ 3 there is a formula of the form $S \subseteq T$ (asserting that one binary relation is included in another), which is provable with α + 1 variables, but not (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  19
    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. [REVIEW]Roger Maddux - 1998 - Journal of Symbolic Logic 63 (1):333-336.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    Leon Henkin, J. Donald Monk, and Alfred Tarski. 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. [REVIEW]Roger D. Maddux - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  13.  11
    Robin Hirsch and Ian Hodkinson. Relation Algebras by Games. Elsevier, Amsterdam, 2002, Xviii + 691 Pp. [REVIEW]Roger Maddux - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.
  14.  7
    The Equational Theory of CA 3 is Undecidable.Roger Maddux - 1980 - Journal of Symbolic Logic 45 (2):311 - 316.
  15.  15
    Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric Algebras. Part I. Studies in Logic and the Foundations of Mathematics, Vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 Pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric Set Algebras and Related Structures. Cylindric Set Algebras, Lecture Notes in Mathematics, Vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, Pp. 1–129. - H. Andréka and I. Németi. On Cylindric-Relativized Set Algebras. Cylindric Set Algebras, Lecture Notes in Mathematics, Vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, Pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  58
    Weak Representations of Relation Algebras and Relational Bases.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2011 - Journal of Symbolic Logic 76 (3):870 - 882.
    It is known that for all finite n ≥ 5, there are relation algebras with n-dimensional relational bases but no weak representations. We prove that conversely, there are finite weakly representable relation algebras with no n-dimensional relational bases. In symbols: neither of the classes RA n and wRRA contains the other.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  17.  7
    Finitary Algebraic Logic II.Roger D. Maddux - 1993 - Mathematical Logic Quarterly 39 (1):566-569.
    This is a supplement to the paper “Finitary Algebraic Logic” [1]. It includes corrections for several errors and some additional results. MSC: 03G15, 03G25.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  12
    H. Andréka, T. Gergely, and I. Németi. On Universal Algebraic Constructions of Logics. Studia Logica, Vol. 36 , Pp. 9–47. [REVIEW]Roger Maddux - 1981 - Journal of Symbolic Logic 46 (3):663-664.
  19.  22
    Undecidable Semiassociative Relation Algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
    If K is a class of semiassociative relation algebras and K contains the relation algebra of all binary relations on a denumerable set, then the word problem for the free algebra over K on one generator is unsolvable. This result implies that the set of sentences which are provable in the formalism Lwx is an undecidable theory. A stronger algebraic result shows that the set of logically valid sentences in Lwx forms a hereditarily undecidable theory in Lwx. These results generalize (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. On the Number of Variables Required for Proofs.Robin Hirsch, I. Hodkinson & Roger Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
     
    Export citation  
     
    Bookmark   1 citation  
  21.  10
    Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
    There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  17
    Representations for Small Relation Algebras.Hajnal Andr Eka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4).
  23.  30
    Finite, Integral, and Finite-Dimensional Relation Algebras: A Brief History.Roger D. Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.
    Relation algebras were invented by Tarski and his collaborators in the middle of the 20th century. The concept of integrality arose naturally early in the history of the subject, as did various constructions of finite integral relation algebras. Later the concept of finite-dimensionality was introduced for classifying nonrepresentable relation algebras. This concept is closely connected to the number of variables used in proofs in first-order logic. Some results on these topics are presented in chronological order.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    Anita Burdman Feferman and Solomon Feferman. Alfred Tarski, Life and Logic Cambridge University Press, Cambridge, 2004, Vi + 425 Pp. [REVIEW]Roger D. Maddux - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  20
    Review: Maarten Marx, Laszlo Polos, Michael Masuch, Arrow Logic and Multi-Modal Logic. [REVIEW]Roger Maddux - 1998 - Journal of Symbolic Logic 63 (1):333-336.
  26.  11
    Alfred Tarski, Life and Logic.Roger D. Maddux - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
  27. Books to Asl, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference. [REVIEW]Mirna Dzamonja, David M. Evans, Erich Grädel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
     
    Export citation  
     
    Bookmark  
  28.  12
    Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]John Baldwin, Lev Beklemishev, Anuj Dawar, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux & Grigori Mints - 2008 - Bulletin of Symbolic Logic 14 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  17
    Books Received. [REVIEW]Janusz Czelakowski, Roger Maddux, Gerhard Schurz & Kazimierz Trzesicki - 1986 - Studia Logica 45 (2):425-430.
  30.  12
    Schechter Eric. Classical and Nonclassical Logic: An Introduction to the Mathematics of Propositions. Princeton University Press, Princeton and Oxford, 2005, X+ 507 Pp. [REVIEW]Roger D. Maddux - 2006 - Bulletin of Symbolic Logic 12 (2):308-309.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Books to ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, NY 12604, USA.Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2004 - Bulletin of Symbolic Logic 10 (3).
  32.  6
    REVIEWS-Decision Problems for Equational Theories of Relation Algebras.H. Andreka, S. Givant, I. Nemeti & Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-38.
  33.  7
    Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, JD Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
  34.  7
    Andréka H., Givant S., and Németi I.. Decision Problems for Equational Theories of Relation Algebras. Memoirs of the American Mathematical Society, Vol. 126, No. 604. American Mathematical Society, Providence, March 1997, Xiv+ 126 Pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.
  35. Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]Anuj Dawar Beklemishev, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints, Volker Peckhaus & Sławomir Solecki - 2008 - Bulletin of Symbolic Logic 14 (4).
     
    Export citation  
     
    Bookmark  
  36.  6
    Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference" Bsl VII 376" Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, or to the Publication There Reviewed." Jsl Lv 347" Refers to One of the Reviews or One of the Publications Reviewed or Listed on Page 347 of Volume 55 of the Journal, with Reliance On. [REVIEW]Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints & Volker Peckhaus - 2008 - Bulletin of Symbolic Logic 14 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  6
    Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part II. [REVIEW]Roger D. Maddux - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  38. The Bulletin of Symbolic Logic Volume 11, Number 2, June 2005.Mirna Dzamonja, David M. Evans, Erich Gradel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
  39. The Association for Symbolic Logic Publishes Analytical Reviews of Selected Books and Articles in the Field of Symbolic Logic. The Reviews Were Published in The Journal of Symbolic Logic From the Founding of the Journal in 1936 Until the End of 1999. The Association Moved the Reviews to This Bulletin, Beginning in 2000. The Reviews Section is Edited by Alasdair Urquhart (Managing Editor), Steve Awodey. [REVIEW]Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints & Volker Peckhaus - 2008 - Bulletin of Symbolic Logic 14 (2).
  40. Review: H. Andreka, T. Gergely, I. Nemeti, On Universal Algebraic Constructions of Logics. [REVIEW]Roger Maddux - 1981 - Journal of Symbolic Logic 46 (3):663-664.
  41. The Association for Symbolic Logic Publishes Analytical Reviews of Selected Books and Articles in the Field of Symbolic Logic. The Reviews Were Published in The Journal of Symbolic Logic From the Founding of the Journal in 1936 Until the End of 1999. The Association Moved the Reviews to This Bulletin, Beginning in 2000. The Reviews Section is Edited by Steve Awodey (Managing Editor). John Baldwin, John. [REVIEW]Burgess Mark Colyvan Anuj Dawar Mirna, Marcelo Fiore Dzamonja, Hannes Leitgeb, Roger Maddux, Andre Nies Carsten Schurmann, Kai Wehmeier & Matthias Wille Au - 2009 - Bulletin of Symbolic Logic 15 (2).