| 9:00 - 9:30 | Opening | |
| 9:30 - 10:20 | John W. Addison Jr., | Tarski's theory of definability:
common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. |
| 10:20 - 11:00 | break | |
| 11:00 - 11:50 | Solomon Feferman, | Tarski's conception of logic |
| Mathematical Institute | Banach Centre | |||
| room 403A
(Truth and semantics) |
room 403B
(Foundations of mathematics) |
room 13
(Philosophical logic) |
room 14
(Algebra) |
|
| 14:00 - 14:50 | Vladimir L. Vasyukov Developing Tarski: a Brouwerian
Topos of Theories |
Angus Macintyre
Quantifier elimination in geometrical situations, from real closed fields to rigid analytic spaces |
Janusz Czelakowski,
Abstract algebraic logic and hierarchies of deductive systems |
Mai Gehrke
Canonical extensions of bounded distributive lattice expansions |
| 15:00 - 15:50 | Mario Gomez-Torrente Reading the "Wahrheitsbegriff" | Ludomir Newelski
Small profinite structures |
Don Pigozzi
Abstract Algebraic Logic and the Specification of Abstract Data Types |
|
| 15:50 - 16:20 | break | break | break | break |
| 16:20 - 17:10 | Arianna Betti
Lesniewski's Early Solution to the Liar and Tarski |
Lev Beklemishev Provability algebras and proof-theoretic ordinals | Leo Esakia
Recent observations concerning Tarski's topological interpretation of the Intuitionistic Calculus |
Matt Valeriote
Decidable Equationally Defined Classes |
18:00 Reception by the Rector of Warsaw University (at Palac Kazimierzowski)
| 9:00 - 9:50 | Henry Hiz | Reexamination of Tarski's semantics |
| 9:50 - 10:10 | break | |
| 10:10 - 11:00 | Petr Hajek | Tarski and fuzzy logic |
| 11:00- 11:50 | Jaakko Hintikka | Independence-friendly logic and axiomatic set theory |
| Mathematical Institute | Banach Centre | |||
| room 403A
(Truth and semantics) |
room 403B
(Foundations of mathematics) |
room 13
(Philosophical logic) |
room 14
(Algebra) |
|
| 13:30 - 14:20 | Anita Burdman Feferman, Two clues from the Alfred Tarski Archives: A story and a journal | Melvin Fitting
Scope issues in modal logic |
Peter Jipsen
The many descendants of Tarski's Relation Algebras |
|
| 14:30 - 15:20 | Ilkka Niiniluoto,
Tarski's definition and truth-makers |
Leszek Pacholski
Set constraints in the sense of Tarski |
Rudolf Wille
Contextual Logic: a Human-oriented Mathematization of Philosophical |
Don Monk
The spectrum of maximal independent subsets of a Boolean algebra |
| 15:20 - 15:40 | break | break | break | break |
| 15:40 - 16:30 | Artur Rojszczak
On Philosophical Background of Semantic Definition of Truth |
Paola D'Aquino
Around quadratic reciprocity law in weak fragments of Arithmetic |
Jan Mycielski (read by J. Wolenski)
Tarski's nominalism versus his model theory |
Peter Johnstone
Open/Compact Duality in Topos Theory |
| 16:40 - 17:30 | Gabriel Sandu
Truth as a vague predicate |
Juliette Kennedy
Some Model Theoretic Results Based on Transfer Principles |
Benjamin Wells
Why Tarski was interested in the problem of pseudorecursiveness |
Ivo Düntsch
Algebraic structures for qualitative reasoning |
| 17:40 - 18:30 | Steven Givant
How Tarski and his students revolutionized the theory of relations |
| 9:00 - 9:50 | Joachim Lambek | What is the world of mathematics? |
| 9:50 - 10:20 | break | |
| 10:20 - 11:10 | Ralph McKenzie | How Difficult is Tarski's Finite Equational Basis Problem? |
| 11:10- 12:00 | Wilfrid Hodges | What languages have a Tarski truth-definition? |
| Mathematical Institute | Banach Centre | |||
| room 403A
(Truth and semantics) |
room 403B
(Foundations of mathematics) |
room 13
(Philosophical logic) |
room 14
(Algebra and Applied Logic) |
|
| 14:00 - 14:50 | Peter Simons
Nominalism, Truth, and Languages that Grow |
Roman Kossak Undefinability of truth and nonstandard models | Jerzy Perzanowski
Alfred Tarski and Modal Logic |
Hilary Priestley
Duality theory, canonical extensions and Kripke semantics |
| 15:00 - 15:50 | Göran Sundholm Concepts of Truth and Proof: Frege, Hilbert, Tarski | Sam Buss
Extracting feasible algorithms from intuitionistic proofs |
Robert K. Meyer
Ternary relations relevant semantics |
Willem Blok
On equivalence of deductive systems |
| 15:50 - 16:20 | break | break | break | break |
| 16:20 - 17:10 | Jens Erik Fenstad
Tarski, Truth and Natural Languages |
Ryszard Komorowski
On stable isotropic Banach spaces (joint work with T. Figiel, R. Frankiewicz, and Cz. Ryll-Nardzewski) |
Roger D. Maddux
A brief history of relation algebras |
Victor Marek
Tarski and semantical considerations in Logic Programming and Logical Foundations of Artificial Intelligence |
| 17:20 - 18:10 | Roman Murawski Philosophical reflexion on mathematics in Poland between the wars | Magdalena Grzech
Set theoretical aspects of l_infty/c_0, (joint work with R. Frankiewicz and Cz. Ryll-Nardzewski) |
Leslaw W. Szczerba Natural Geometry | Radko Mesiar
Triangular norms: from probabilistic metric spaces to many-valued logics |
19:00 Banquet (at the Banach Center)
| 9:00 - 9:50 | Alex Wilkie | O-minimality |
| 9:50 - 10:20 | break | |
| 10:20 - 11:10 | Anil Nerode | Logics of Hybrid Systems |
| 11:10- 12:00 | Jouko Väänänen | Some Results in Infinitary Logic |
| Mathematical Institute | Banach Centre | |||
| room 403A
(Truth and semantics) |
room 403B
(Foundations of mathematics) |
room 13
(Philosophical logic) |
room 14
(Logic of Computation) |
|
| 14:00 - 14:50 | Jan Wolenski
Aletheia, veritas and truth from Pre-Socratics to Tarski |
Andreas Blass
Some cardinal characteristics of the continuum |
Andrzej Salwicki
Tarski's semantics in software verification(joint work with G. Mirkowska, M. Srebrny, and A. Tarlecki) |
Andrzej Grzegorczyk Computability without Mathematics |
| 15:00 - 15:50 | Paul Horwich
A Minimalist Critique of Tarski on Truth |
Zofia Adamowicz Consistency, incompleteness and non-conservativeness in arithmetic | Dimiter Vakarelov Dynamic Extensions of Arrow Logic (joint work with Philippe Balbiani) | Dexter Kozen
A Computer Scientist's View of Admissible Sets |
| 15:50 - 16:20 | break | break | break | break |
| 16:20 - 17:10 | Arnon Avron Non-deterministic Matrices | Arnold Beckmann
Models and separations of bounded arithmetic |
Krister Segerberg Revision and contraction in full dynamic doxastic logic | Johann Makowsky Algorithmic aspects of the Feferman-Vaught Theorem |
| 17:20 - 18:10 | Wandy MacCaull Relational proof systems
(joint work with Ivo Düntsch and Ewa Orlowska) |
Henryk Kotlarski
The incompleteness theorems after 70 years |
Piotr Wojtylak Cn-definitions of propositional connectives (joint work with W. A. Pogorzelski) | Igor Walukiewicz
Adding fixpoints to modal and first-order logics |
| 9:00 - 9:50 | Roman Duda | On the Warsaw interactions of logic and
mathematics in the years 1919-1939 |
| 9:50 - 10:20 | break |
| Mathematical Institute | Banach Center | |||
| room 403 A | room 403 B
(Foundations of mathematics) |
room 13 | room 14 | |
| 10:20 - 11:10 | Harrie de Swart
Axiomatizations of the plurality ranking rule |
Lou van den Dries Gromov-Hausdorff limits in euclidean and non-euclidean space | Ivo Rosenberg
The role of relations in universal algebra and related fields |
Silvio Ghilardi Unification in propositional logic |
| 11:20 - 12:30 | Marcin Mostowski
Henkin quantifiers in finite models, A survey (joint work with M. Krynicki and K. Zdanowski) |
Aleksander Blaszczyk Free Boolean Algebras and Nowhere Dense Ultrafilters | Constantine Tsinakis Residuated Lattices | |
The end.