{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T19:30:10Z","timestamp":1690918210143},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9963,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1986,12]]},"abstract":"<jats:p>One of the most extensive parts of Tarski's contributions to logic is his work on the algebraization of the subject. His work here involves Boolean algebras, relation algebras, cylindric algebras, Boolean algebras with operators, Brouwerian algebras, and closure algebras. The last two are less developed in his work, although his contributions are basic to other work in those subjects. At any rate, not being conversant with the latest developments in those fields, we shall concentrate on an exposition of Tarski's work in the first four areas, trying to put them in the perspective of present-day developments.<\/jats:p><jats:p>For useful comments, criticisms, and suggestions, the author is indebted to Steven Givant, Leon Henkin, Wilfrid Hodges, Bjarni J\u00f3nsson, Roger Lyndon, and Robert Vaught.<\/jats:p>","DOI":"10.2307\/2273903","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:19:27Z","timestamp":1146953967000},"page":"899-906","source":"Crossref","is-referenced-by-count":6,"title":["The contributions of Alfred Tarski to algebraic logic"],"prefix":"10.1017","volume":"51","author":[{"given":"J. Donald","family":"Monk","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200030383_ref014","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1307\/mmj\/1028998510","article-title":"Relation algebras and projective geometries","volume":"8","author":"Lyndon","year":"1961","journal-title":"Michigan Mathematical Journal"},{"key":"S0022481200030383_ref008","volume-title":"Handbook of Boolean algebras","author":"Jech"},{"key":"S0022481200030383_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485226"},{"key":"S0022481200030383_ref029","volume-title":"Boolean algebras","author":"Sikorski","year":"1964"},{"key":"S0022481200030383_ref004","doi-asserted-by":"publisher","DOI":"10.2307\/2371742"},{"key":"S0022481200030383_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90077-1"},{"key":"S0022481200030383_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121113"},{"key":"S0022481200030383_ref020","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","article-title":"On representable relation algebras","volume":"11","author":"Monk","year":"1964","journal-title":"Michigan Mathematical Journal"},{"key":"S0022481200030383_ref012","doi-asserted-by":"publisher","DOI":"10.2307\/1969375"},{"key":"S0022481200030383_ref027","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0697061-6"},{"key":"S0022481200030383_ref022","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1976-0398823-1"},{"key":"S0022481200030383_ref006","first-page":"85","volume-title":"Mathematical interpretation of formal systems","author":"Henkin","year":"1956"},{"key":"S0022481200030383_ref009","doi-asserted-by":"publisher","DOI":"10.2307\/1993545"},{"key":"S0022481200030383_ref010","unstructured":"J\u00f6nsson B. [19??] The theory of binary relations (preprint)."},{"key":"S0022481200030383_ref023","volume-title":"Databases and Halmos algebras","author":"Plotkin","year":"1984"},{"key":"S0022481200030383_ref013","doi-asserted-by":"publisher","DOI":"10.2307\/1969611"},{"key":"S0022481200030383_ref011","first-page":"1","volume-title":"Logic of programs (papers from a workshop, Z\u00fcrich, 1979)","volume":"125","author":"Kozen","year":"1979"},{"key":"S0022481200030383_ref030","first-page":"719","volume-title":"Logic, methodology and philosophy of science, VI (Hannover, 1979)","author":"Surma","year":"1982"},{"key":"S0022481200030383_ref031","volume-title":"Handbook of Boolean algebras","author":"Weese"},{"key":"S0022481200030383_ref015","unstructured":"Maddux R. [1978] Topics in relation algebras, Ph.D. Thesis, University of California, Berkeley, California."},{"key":"S0022481200030383_ref016","first-page":"311","volume":"45","author":"Maddux","year":"1980","journal-title":"The equational theory of CA3 is undecidable"},{"key":"S0022481200030383_ref018","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1307\/mmj\/1029000477","article-title":"Representations of integral relation algebras","volume":"17","author":"McKenzie","year":"1970","journal-title":"Michigan Mathematical Journal"},{"key":"S0022481200030383_ref021","volume":"34","author":"Monk","year":"1969","journal-title":"Nonfinitizability of classes of representable cylindric algebras"},{"key":"S0022481200030383_ref024","first-page":"1","article-title":"Decidability of second-order theories and automata on infinite trees","volume":"141","author":"Rabin","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200030383_ref025","doi-asserted-by":"publisher","DOI":"10.4064\/fm-75-2-187-197"},{"key":"S0022481200030383_ref032","volume-title":"Handbook of Boolean algebras","author":"Weese"},{"key":"S0022481200030383_ref026","first-page":"129","volume-title":"Anuales Scientifiques de l'Universit\u00e9 de Clermont","author":"Rubin","year":"1976"},{"key":"S0022481200030383_ref028","volume-title":"Vorlesungen \u00fcber die Algebra der Logik (exakte Logik)","volume":"I","author":"Schr\u00f6der","year":"1966"},{"key":"S0022481200030383_ref003","article-title":"Structural properties of ideals","volume":"197","author":"Baumgartner","year":"1982","journal-title":"Dissertationes Mathematicae (Rozprawy Matematyczne)"},{"key":"S0022481200030383_ref005","volume-title":"Algebraic logic","author":"Halmos","year":"1962"},{"key":"S0022481200030383_ref017","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1960.10.925"},{"key":"S0022481200030383_ref019","unstructured":"Monk J. D. [1961] Studies in cylindric algebras, Ph.D. Thesis, University of California, Berkeley, California."}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200030383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T03:09:00Z","timestamp":1558494540000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200030383\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,12]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1986,12]]}},"alternative-id":["S0022481200030383"],"URL":"https:\/\/doi.org\/10.2307\/2273903","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,12]]}}}