Results 71 to 80 of about 149 (121)

Review: Alfred Tarski, Logic, semantics, metamathematics

, 1957
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Alfred Tarski's Work on General Metamathematics

Journal of Symbolic Logic, 1988
In this essay we discuss Tarski's work on what he calledthe methodology of the deductive sciences, or more briefly, borrowing the terminology of Hilbert,metamathematics, The clearest statement of Tarski's views on this subject can be found in his textbookIntroduction to logic[41m].1Here he describes the tasks of metamathematics as “the detailed ...
Don Pigozzi
exaly   +2 more sources

Applications of Alfred Tarski’s Ideas in Database Theory

Lecture Notes in Computer Science, 2001
Many ideas of Alfred Tarski - one of the founders of modern logic - find application in database theory. We survey some of them with no attempt at comprehensiveness. Topics discussed include the genericity of database queries; the relational algebra, the Tarskian definition of truth for the relational calculus, and cylindric algebras; relation algebras
Jan Van den Bussche, Bussche Jan Van Den, Van Den Bussche Jan   +2 more
exaly   +3 more sources

Eulogy: Alfred Tarski, 1901-1983

IEEE Annals of the History of Computing, 1984
Of his numerous investigations, outlined in seven books and more than 300 other publications, Tarski was most proud of two: his work on truth and his design of an algorithm in 1930 to decide the truth or falsity of any sentence of the elementary theory of high school Euclidean geometry.
exaly   +3 more sources

Alfred Tarski (1901–1983)

Studies in Universal Logic, 2018
This paper presents the life and work of Alfred Tarski, one of the most distinguished and influential logicians in the entire history.
Jan Woleński, Woleński Jan
exaly   +2 more sources

Alfred Tarski

2014
exaly   +3 more sources

VI.87 Alfred Tarski

2010
Anita Burdman Feferman, Solomon Feferman
exaly   +2 more sources

Two Unpublished Contributions by Alfred Tarski

History and Philosophy of Logic, 2007
FRANCISCO Rodríguez-Consuegra
exaly   +2 more sources

Alfred Tarski on Scientific Semantics

Logic, Epistemology, and the Unity of Science
David Hitchcock, Magda Stroińska
exaly   +2 more sources

Alfred Tarski and decidable theories

The Journal of Symbolic Logic, 1988
Any list of Alfred Tarski's achievements would mention his decision procedure for real-closed fields. He proved a number of other less publicized decidability results too. We shall survey these results. After surveying them we shall ask what Tarski had in mind when he proved them.
John Doner, Wilfrid Hodges
openaire   +2 more sources