Tarski’s Influence on Computer Science

In Urszula Wybraniec-Skardowska & Ángel Garrido, The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 391-404 (2018)
  Copy   BIBTEX

Abstract

Alfred Tarski’s influence on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is Tarski’s work on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, model-theoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-319-65430-0_29

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,237

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge.Walter Carnielli - 2006 - Logic and Logical Philosophy 15 (1):91-96.
On Tarski's Theory of Truth.Luis Fernâandez Moreno - 2021 - In Piotr Stalmaszczyk & Mieszko Tałasiewicz, The Lvov-Warsaw School and Contemporary Philosophy of Language. Boston: BRILL.
American Postulate Theorists and Alfred Tarski.Michael Scanlan - 2003 - History and Philosophy of Logic 24 (4):307-325.
Truth, the Liar, and Tarski's Semantics.Gila Sher - 2002 - In Dale Jacquette, A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 143–163.
Alfred Tarski: Auxiliary Notes on His Legacy.Jan Zygmunt - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido, The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 425-455.
Tarski.Benedict Eastaugh - 2017 - In Alex Malpass & Marianna Antonutti Marfori, The History of Philosophical and Formal Logic: From Aristotle to Tarski. New York: Bloomsbury Publishing. pp. 293-313.
Truth and Proofs. From Tarski's Convention T to Game Theory.Christian Bassac & Joan Busquets - 2021 - In Piotr Stalmaszczyk & Mieszko Tałasiewicz, The Lvov-Warsaw School and Contemporary Philosophy of Language. Boston: BRILL.
Semantical Issues in Maria Kokoszyńska’s Letters to Kazimierz Twardowski.Alicja Chybińska - 2023 - Przeglad Filozoficzny - Nowa Seria 32:95-103.
Tarski’s Guilty Secret: Compositionality.Jaakko Hintikka & Gabriel Sandu - 1999 - Vienna Circle Institute Yearbook 6:217-230.
Algebraic Logic and Universal Algebra in Computer Science: Conference Proceedings.C. H. Bergman, R. D. Maddux & Don Pigozzi - 1990

Analytics

Added to PP
2010-12-22

Downloads
53 (#427,749)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.

View all 11 references / Add more references