{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T22:27:25Z","timestamp":1783549645330,"version":"3.55.0"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bf00370681","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T16:55:22Z","timestamp":1099500922000},"page":"421-455","source":"Crossref","is-referenced-by-count":69,"title":["The origin of relation algebras in the development and axiomatization of the calculus of relations"],"prefix":"10.1007","volume":"50","author":[{"given":"Roger D.","family":"Maddux","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Colloquium Publications, vol. XXV","author":"G. Birkhoff","year":"1948","unstructured":"[Birkhoff1948] G. Birkhoff, Lattice Theory (1948), Colloquium Publications, vol. XXV, American Mathematical Society, New York."},{"key":"CR2","unstructured":"[Boole1847] G. Boole, The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning (1847), 82, London and Cambridge."},{"key":"CR3","first-page":"285","volume":"14","author":"Ch. Brink","year":"1978","unstructured":"[Brink1978] Ch. Brink, On Peirce's notation for the logic of relatives, Transactions of the Charles S. Peirce Society 14 (1978), pp. 285?304.","journal-title":"Transactions of the Charles S. Peirce Society"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1305\/ndjfl\/1093882812","volume":"20","author":"Ch. Brink","year":"1979","unstructured":"[Brink1979] Ch. Brink, The algebra of relatives, Notre Dame Journal of Formal Logic 20 (1979), pp. 900?908.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0021-8693(81)90179-4","volume":"71","author":"Ch. Brink","year":"1981","unstructured":"[Brink1981] Ch. Brink, Boolean modules, Journal of Algebra 71 (1981), pp. 291?313.","journal-title":"Journal of Algebra"},{"issue":"2","key":"CR6","first-page":"105","volume":"7","author":"Ch. Brink","year":"1988","unstructured":"[Brink1988] Ch. Brink, On the application of relations, South African Journal of Philosophy 7 (2) (1988), pp. 105?112.","journal-title":"South African Journal of Philosophy"},{"key":"CR7","volume-title":"Doctoral dissertation","author":"J. Brunning","year":"1980","unstructured":"[Brunning1980] J. Brunning, Peirce's Development of the Algebra of Relations (1980), Doctoral dissertation, University of Toronto, Toronto."},{"key":"CR8","first-page":"341","volume":"1","author":"L. H. Chin","year":"1951","unstructured":"[Chin-Tarski1951] L. H. Chin and A. Tarski, Distributive and modular laws in the arithmetic of relation algebras, University of California Publications in Mathematics, New Series 1 (1951), pp. 341?384.","journal-title":"University of California Publications in Mathematics, New Series"},{"key":"CR9","first-page":"ix+378","volume-title":"Introduction to Mathematical Logic","author":"A. Church","year":"1956","unstructured":"[Church1956] A. Church, Introduction to Mathematical Logic (1956), ix+378, Princeton University Press, Princeton, N.J."},{"key":"CR10","first-page":"79","volume":"9","author":"A. Morgan De","year":"1856","unstructured":"[De Morgan1856] A. De Morgan, On the symbols of logic, the theory of the syllogism, and in particular of the copula, and the application of the theory of probabilities to some questions in the theory of evidence, (read February 25, 1850), Transactions of the Cambridge Philosophical Society 9 (1856), pp. 79?127. Reprinted in [De Morgan1966].","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"CR11","first-page":"173","volume":"10","author":"A. Morgan De","year":"1864","unstructured":"[De Morgan1864a] A. De Morgan, On the syllogism: III, and on logic in general, (read February 8, 1858), Transactions of the Cambridge Philosophical Society 10 (1864), pp. 173?230. Reprinted in [De Morgan1966].","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"CR12","first-page":"331","volume":"10","author":"A. Morgan De","year":"1864","unstructured":"[De Morgan1864b] A. De Morgan, On the syllogism: IV, and on the logic of relations, (read April 23, 1860), Transactions of the Cambridge Philosophical Society 10 (1864), pp. 331?358. Reprinted in [De Morgan1966].","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"CR13","first-page":"xxxi+355","volume-title":"On the Syllogism, and Other Logical Writings","author":"A. Morgan De","year":"1966","unstructured":"[De Morgan1966] A. De Morgan, On the Syllogism, and Other Logical Writings (1966), xxxi+355, edited, with an Introduction, by Peter Heath, Yale University Press, New Haven."},{"key":"CR14","volume-title":"Dictionary of Philosophy and Psychology","year":"1911","unstructured":"[DPP1911] Dictionary of Philosophy and Psychology (1911), second edition, edited by J. M. Martin, Macmillan & Co., New York.","edition":"second edition"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1090\/S0002-9947-1904-1500675-4","volume":"5","author":"E. V. Huntington","year":"1904","unstructured":"[Huntington1904] E. V. Huntington, Sets of independent postulates for the algebra of logic, Transactions of the American Mathematical Society 5 (1904), pp. 288?309.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR16","first-page":"274","volume":"35","author":"E. V. Huntington","year":"1933","unstructured":"[Huntington1933] E. V. Huntington, New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica, Transactions of the American Mathematical Society 35 (1933), pp. 274?304.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR17","first-page":"557","volume":"35","author":"E. V. Huntington","year":"1933","unstructured":"[Huntington1933a] E. V. Huntington, Boolean algebra. A correction, Transactions of the American Mathematical Society 35 (1933), pp. 557?558.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR18","first-page":"80","volume":"54","author":"B. J\ufffdnsson","year":"1948","unstructured":"[J\ufffdnsson-Tarski1948] B. J\ufffdnsson and A. Tarski, Representation problems for relation algebras, Abstract 89, Bulletin of the American Mathematical Society 54 (1948), p. 80 and p. 1192.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\ufffdnsson","year":"1951","unstructured":"[J\ufffdnsson-Tarski1951] B. J\ufffdnsson and A. Tarski, Boolean algebras with operators, Part I, American Journal of Mathematics 73 (1951), pp. 891?939.","journal-title":"American Journal of Mathematics"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\ufffdnsson","year":"1952","unstructured":"[J\ufffdnsson-Tarski1952] B. J\ufffdnsson and A. Tarski, Boolean algebras with operators, Part II, American Journal of Mathematics 74 (1952), pp. 127?162.","journal-title":"American Journal of Mathematics"},{"key":"CR21","first-page":"xi+106","volume-title":"Doctoral dissertation","author":"M. Kwatinetz","year":"1981","unstructured":"[Kwatinetz1981] M. Kwatinetz, Problems of Expressibility in Finite Languages (1981), xi+106, Doctoral dissertation, University of California, Berkeley."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"vi+406","DOI":"10.1525\/9780520398252","volume-title":"A Survey of Symbolic Logic","author":"C. I. Lewis","year":"1918","unstructured":"[Lewis1918] C. I. Lewis, A Survey of Symbolic Logic (1918), vi+406, University of California Press, Berkeley. Reprint of Chapters I?IV by Dover Publications, 1960, New York."},{"key":"CR23","first-page":"v+518","volume-title":"Symbolic Logic","author":"C. I. Lewis","year":"1959","unstructured":"[Lewis-Langford1959] C. I. Lewis and C. H. Langford, Symbolic Logic (1959), v+518, Dover Publications, New York."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF01458217","volume":"76","author":"L. L\ufffdwenheim","year":"1915","unstructured":"[L\ufffdwenheim1915] L. L\ufffdwenheim, \ufffdber M\ufffdglichkeiten im Relativkalkul, Mathematische Annalen 76 (1915), pp. 447?470. English translation in [van-Heijenoort1967].","journal-title":"Mathematische Annalen"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"R. C. Lyndon","year":"1950","unstructured":"[Lyndon1950] R. C. Lyndon, The representation of relational algebras, Annals of Mathematics (series 2) 51 (1950), pp. 707?729.","journal-title":"Annals of Mathematics (series 2)"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"294","DOI":"10.2307\/1969611","volume":"63","author":"R. C. Lyndon","year":"1956","unstructured":"[Lyndon1956] R. C. Lyndon, The representation of relation algebras, II, Annals of Mathematics (series 2) 63 (1956), pp. 294?307.","journal-title":"Annals of Mathematics (series 2)"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1307\/mmj\/1028998510","volume":"8","author":"R. C. Lyndon","year":"1961","unstructured":"[Lyndon1961] R. C. Lyndon, Relation algebras and projective geometries, Michigan Mathematical Journal 8 (1961), pp. 21?28.","journal-title":"Michigan Mathematical Journal"},{"key":"CR28","first-page":"iii+241","volume-title":"Doctoral dissertation","author":"R. D. Maddux","year":"1978","unstructured":"[Maddux1978] R. D. Maddux, Topics in Relation Algebras (1978), iii+241, Doctoral dissertation, University of California, Berkeley."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R. D. Maddux","year":"1982","unstructured":"[Maddux1982] R. D. Maddux, Some varieties containing relation algebras, Transactions of the American Mathematical Society 272 (1982), pp. 501?526.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR30","first-page":"223","volume":"12","author":"R. M. Martin","year":"1976","unstructured":"[Martin1976] R. M. Martin, Some comments on De Morgan, Peirce, and the logic of relations, Transactions of the Charles S. Peirce Society 12 (1976), pp. 223?230.","journal-title":"Transactions of the Charles S. Peirce Society"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00245919","volume":"7","author":"R. M. Martin","year":"1978","unstructured":"[Martin1978] R. M. Martin, Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870, Journal of Philosophical Logic 7 (1978), pp. 27?48.","journal-title":"Journal of Philosophical Logic"},{"key":"CR32","first-page":"vi+128","volume-title":"Doctoral dissertation","author":"R. N. W. McKenzie","year":"1966","unstructured":"[McKenzie1966] R. N. W. McKenzie, The Representation of Relation Algebras (1966), vi+128, Doctoral dissertation, University of Colorado, Boulder."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1307\/mmj\/1029000477","volume":"17","author":"R. N. W. McKenzie","year":"1970","unstructured":"[McKenzie1970] R. N. W. McKenzie, The representation of integral relation algebras, Michigan Mathematical Journal 17 (1970), pp. 279?287.","journal-title":"Michigan Mathematical Journal"},{"key":"CR34","first-page":"1867","volume-title":"Writings of Charles S. Peirce, A Chronological Edition","author":"D. D. Merrill","year":"1984","unstructured":"[Merrill1984] D. D. Merrill, The 1870 logic of relatives memoir, in, vol. 2, 1867?1871, pp. xlii?xlviii."},{"key":"CR35","first-page":"vi+83","volume-title":"Doctoral dissertation","author":"J. Donald Monk","year":"1961","unstructured":"[Monk1961] J. Donald Monk, Studies in Cylindric Algebra (1961), vi+83, Doctoral dissertation, University of California, Berkeley."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","volume":"11","author":"J. Donald Monk","year":"1964","unstructured":"[Monk1964] J. Donald Monk, On representable relation algebras, Michigan Mathematical Journal 11 (1964), pp. 207?210.","journal-title":"Michigan Mathematical Journal"},{"key":"CR37","unstructured":"[Moore1987] G. H. Moore, A house divided against itself: the emergence of first-order logic as the basis for mathematics, in Studies in the History of Mathematics (1987), pp. 98?136, Esther R. Phillips, editor, MAA Studies in Mathematics, Volume 26, The Mathematical Association of America."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/25058006","volume":"9","author":"Ch. S. Peirce","year":"1870","unstructured":"[Peirce1870] Ch. S. Peirce, Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic, Memoirs of the American Academy of Sciences 9 (1870), pp. 317?378. Reprint by Welch, Bigelow and Co., Cambridge, Mass., 1870, pp. 1?62. Also reprinted in [Peirce1933] and [Peirce1984].","journal-title":"Memoirs of the American Academy of Sciences"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2369442","volume":"3","author":"Ch. S. Peirce","year":"1880","unstructured":"[Peirce1880] Ch. S. Peirce, On the algebra of logic, American Journal of Mathematics 3 (1880), pp. 15?57. Reprinted in [Peirce1933].","journal-title":"American Journal of Mathematics"},{"key":"CR40","unstructured":"[Peirce1882] Ch. S. Peirce, Brief description of the algebra of relatives, privately printed, 1882. Reprinted in [Peirce1933], pp. 180?186."},{"key":"CR41","doi-asserted-by":"crossref","DOI":"10.1037\/12811-000","volume-title":"Studies in Logic by Members of the Johns Hopkins University","author":"Ch. S. Peirce","year":"1883","unstructured":"[Peirce1883] Ch. S. Peirce, Studies in Logic by Members of the Johns Hopkins University (1883), edited by C. S. Peirce, Little, Brown, and Co., Boston. Reprinted in [Peirce1983]."},{"key":"CR42","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1037\/12811-000","volume-title":"Studies in Logic by Members of the Johns Hopkins University","author":"Ch. S. Peirce","year":"1883","unstructured":"[Peirce1883b] Ch. S. Peirce, Note B: the logic of relatives, in, pp. 187?203. Reprinted in [Peirce1933] and in [Peirce1983]."},{"key":"CR43","doi-asserted-by":"crossref","first-page":"180","DOI":"10.2307\/2369451","volume":"7","author":"Ch. S. Peirce","year":"1885","unstructured":"[Peirce1885] Ch. S. Peirce, On the algebra of logic; a contribution to the philosophy of notation, American Journal of Mathematics 7 (1885), pp. 180?202. Reprinted in [Peirce1933].","journal-title":"American Journal of Mathematics"},{"key":"CR44","first-page":"3391","volume":"6","author":"Ch. S. Peirce","year":"1892","unstructured":"[Peirce1892] Ch. S. Peirce, The critic of arguments, The Open Court 6 (1892), pp. 3391?4, pp. 3416?8. Reprinted in [Peirce1933].","journal-title":"The Open Court"},{"key":"CR45","doi-asserted-by":"crossref","first-page":"161","DOI":"10.5840\/monist18977231","volume":"7","author":"Ch. S. Peirce","year":"1897","unstructured":"[Peirce1897] Ch. S. Peirce, The logic of relatives, The Monist 7 (1897), pp. 161?217. Reprinted in [Peirce1933].","journal-title":"The Monist"},{"key":"CR46","unstructured":"[Peirce1903] Ch. S. Peirce, Nomenclature and divisions of dyadic relations, 1903. Reprinted in [Peirce1933], 3.571?608."},{"key":"CR47","volume-title":"Collected Papers","author":"Ch. S. Peirce","year":"1933","unstructured":"[Peirce1933] Ch. S. Peirce, Collected Papers (1933), edited by Charles Hartshorne and Paul Weiss, Harvard University Press, Cambridge."},{"key":"CR48","doi-asserted-by":"crossref","first-page":"lviii+vi+203","DOI":"10.1075\/fos.1","volume-title":"Studies in Logic by Members of the Johns Hopkins University","author":"Ch. S. Peirce","year":"1983","unstructured":"[Peirce1983] Ch. S. Peirce, Studies in Logic by Members of the Johns Hopkins University (1983), lviii+vi+203, reprint of [Peirce1883], with an Introduction by Max H. Fisch, and a Preface by Achim Eschbach, John Benjamins Publishing Co., Amsterdam and Philadelphia."},{"key":"CR49","volume-title":"Writings of Charles S. Peirce, A Chronological Edition","author":"Ch. S. Peirce","year":"1984","unstructured":"[Peirce1984] Ch. S. Peirce, Writings of Charles S. Peirce, A Chronological Edition (1984), edited by Edward C. Moore, Max H. Fisch, Christian J. W. Kloesel, Don D. Roberts, and Lynn A. Ziegler, Indiana University Press, Bloomington."},{"key":"CR50","volume-title":"Volume 3, ?Algebra und Logik der Relative?","author":"F. W. K. Ernst Schr\ufffdder","year":"1895","unstructured":"[Schr\ufffdder1895] F. W. K. Ernst Schr\ufffdder, Vorlesungen \ufffdber die Algebra der Logik (exacte Logik) (1895), Volume 3, ?Algebra und Logik der Relative?, part I, Leipzig. Second edition published by Chelsea, Bronx, New York, 1966.","edition":"Second edition"},{"key":"CR51","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"[Tarski1941] A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941), pp. 73?89.","journal-title":"Journal of Symbolic Logic"},{"key":"CR52","first-page":"56","volume":"58","author":"A. Tarski","year":"1955","unstructured":"[Tarski1955] A. Tarski, Contributions to the theory of models, III, Koninklijkle Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences (Indagationes Mathematicae 17) 58 (1955), pp. 56?64.","journal-title":"Koninklijkle Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences (Indagationes Mathematicae 17)"},{"key":"CR53","first-page":"39","volume":"59","author":"A. Tarski","year":"1956","unstructured":"[Tarski1956] A. Tarski, Equationally complete rings and relation algebras, Koninklijkle Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences (Indagationes Mathematicae 18) 59 (1956), pp. 39?46.","journal-title":"Koninklijkle Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Mathematical Sciences (Indagationes Mathematicae 18)"},{"key":"CR54","doi-asserted-by":"crossref","unstructured":"[Tarski-Givant1987] A. Tarski and S. Givant, A Formalization of Set Theory without Variables (1987), Colloquium Publications 41, American Mathematical Society.","DOI":"10.1090\/coll\/041"},{"key":"CR55","first-page":"1879","volume-title":"from Frege to G\ufffddel: A Source Book in Mathematical Logic","author":"J. Heijenoort van","year":"1967","unstructured":"[vanHeijenoort1967] J. van Heijenoort, from Frege to G\ufffddel: A Source Book in Mathematical Logic, pp. 1879?1931 (1967), xi+660, Harvard University Press, Cambridge, Massachusetts."},{"key":"CR56","first-page":"xv+666","volume-title":"Principia Mathematica, Volumes I","author":"A. North Whitehead","year":"1910","unstructured":"[Whitehead-Russell1910] A. North Whitehead and B. Russell, Principia Mathematica, Volumes I (1910), xv+666, Cambridge University Press, Cambridge, England. Second edition, 1925"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370681.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370681\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T23:21:00Z","timestamp":1705274460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":56,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00370681"],"URL":"https:\/\/doi.org\/10.1007\/bf00370681","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}