| 11:00 | OPENING SESSION |
| 11:30 | Victor MAREK (University of Kentucky, Lexington): Mathematical Logic in Warsaw in the 60ies and 70ies, or the Interaction of Logic and Life, in memoriam of Andrzej Mostowski, Helena Rasiowa, Cecylia Rauszer: the paper will be followed by discussion and commemorations |
| 13:00 | Lunch |
| 14:00 | Dana SCOTT (Carnegie-Mellon University, Pittsburgh): The algebraic interpretation of classical and intuitionistic quantifiers |
| 15:30 | Departure by bus to Ruciane- Nida |
| 19:30 | (In Ruciane-Nida) Get-together |
| PLENARY SESSION | |||
| 8:15 - 8:50 | Opening (a selection of short recollections of students and friends of MRR) | ||
| 9:00 - 9:40 | Jan MYCIELSKI (Boulder): A physical interpretation of logic and foundations of mathematics | ||
| 9:40 - 10:20 | Melvin FITTING (New York): FOIL Revisited | ||
| 10:20 - 11:00 | Wilfried SIEG (Pittsburgh): Andrzej Mostowski's contributions to the foundations of computability | ||
| 11:00 - 11:30 | Coffee break | ||
| SECTION A | SECTION B | ||
| 11:30 - 12:10 | Larisa MAKSIMOWA (Novosibirsk): Interpolation and definability in non-classical logics | 11:30 - 12:10 | Petr HAJEK (Praha): Mathematical fuzzy logic - what can one learn from Mostowski and Rasiowa |
| 12:10 - 12:50 | Dimiter VAKARELOV (Sofia): Non-classical negation in the works of Helena Rasiowa and their impact on the general theory of negation | 12:10 - 12:50 | Siegfried GOTTWALD (Leipzig): Axiomatizing Fuzzy Set theory - A Critical Survey |
| 12:50 - 13:30 | Istvan NEMETI (Budapest): New, unifying perspectives in logic, algebraic logic, and their applications, ideas deriving from Rasiowa, Tarski and the Polish school (in collaboration with Tarek Sayed Ahmed) | 12:50 - 13:30 | Viktor K. FINN (Moscow): Logical means for plausible reasoning of JSM-type (in collaboration with O.M.Anshakov and D.W.Vinogradov) |
| 13:30 - 15:00 | Lunch | ||
| PLENARY SESSION | |||
| 15:00 - 15:40 | Johann MAKOWSKY (Haifa): 50 years of Generalized Quantifiers | ||
| 15:40 - 16:20 | Walter A. CARNIELLI (Campinas): Modulated quantifiers and their significance | ||
| 16:20 - 16: 50 | Coffee break | ||
| SECTION A (Foundations) | SECTION B (Logic and its applications) | ||
| 16:50 - 17:10 | J. WOLENSKI (Kraków): Andrzej Mostowski and Philosophy of Mathematics | 16:50 - 17:10 | P. CINTULA (Prague): On generalization of Rasiowa implicative logics |
| 17:10 - 17:30 | R. MURAWSKI (Poznañ): Remarks on A. Mostowski's Philosophy of Mathematics | 17:10 - 17:30 | J. GOLINSKA-PILAREK (Warszawa): Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI |
| 17:30 - 17:50 | Z. ADAMOWICZ (Warszawa): A maximality property | 17:30 - 17:50 | K. ZDANOWSKI (Warszawa): The universal quantifier is not definable from the existential one in the second order intuitionistic propositional logic |
| 17:50 - 18:10 | R. ZUBER (Paris): An algebraic characterization of logical quantifiers | 17:50 - 18:10 | A. MONTANARI, G. SCIAVICCO (Udine): A Non-Constructive Decidability Proof for Propositional Neighborhood Logic |
| 18:10 - 18:30 | J. CIRULIS (Riga): Logic of knowledge representation systems: an algebraic view | 18:10 - 18:30 | A. GOMOLINSKA (Białystok): Towards a generalization of C. Rauszer's T-Logic for reasoning about knowledge of agents |
| PLENARY SESSION | |||
| 8:20 - 9:00 | Andrzej GRZEGORCZYK (Warszawa): In quest of the weakest essentially undecidable theory | ||
| 9:00 - 9:40 | Jon Michael DUNN (Bloomington): Bialnycki-Birula and Rasiowa's Representation of Quasi-Boolean Algebras (De Morgan Lattices) Revisited, with Consideration of Equivalences and Generalizations | ||
| 9:40 - 10:20 | Josep Maria FONT (Barcelona): An algebraic approach to non-classical logics | ||
| 10:20 - 11:00 | Coffee break | ||
| SECTION A | SECTION B | ||
| 11.00 - 11:40 | K. APT (Amsterdam) Rule-based programming and constraints | 11.00 - 11:40 | R. K. MEYER (Canberra): Classical Relevantism |
| 11:40 - 12:20 | W.
BUSZKOWSKI (Poznań): Logico-linguistic
questions in substructural logics |
11:40 - 12:20 | R. JANSANA (Barcelona): Selfextensional Logics with Conjunction |
| 12:20 - 13:00 | H. ONO (Nomi): Embeddings -- an algebraic view of completeness, cut elimination and finite model property | 12:20 - 13:00 | M. ZAKHARYASCHEV (London): On logics for metric and topology |
| 13:00 - 15:00 | Lunch | ||
| PLENARY SESSION | |||
| 15:00 - 15:40 | S. N. ARTEMOV (New York): Explicit knowledge representation in logic and computer science | ||
| 15:40 - 16:20 | K. SEGERBERG (Uppsala): AGM and KGM: two paradigms in the logic of belief change | ||
| 16:20 - 16:50 | Coffee break | ||
| SECTION A (Algebraic Techniques) | SECTION B (Applications) | ||
| 16:50 - 17:10 | H.G.R. MILLINGTON (Cave Hill): A lambda calculus extension of BCK logic | 16:50 - 17:10 | M. MOSHKOV (Sosnowiec) On complexity of decision trees over infinite sets of predicates |
| 17:10 - 17:30 | Y. MOVSISYAN (Yerevan): On the Representation of DeMorgan algebras | 17:10 - 17:30 | P. KAWALEC (Lublin and Pittsburgh): Coarse-grained reliability |
| 17:30 - 17:50 | M. BANERJEE, K. PAL (Kanpur): The Variety of Topological Quasi-Boolean algebras | 17:30 - 17:50 | M. WOLSKI (Lublin): Semi-Boolean Generalization of Rough Sets |
| 17:50 - 18:10 | Y. MIYAZAKI (Sapporo): The structure of the lattice NEXT(KTB) | 17:50 - 18:10 | P.A. SCHREINER (Novosibirsk), N.V. SHILOV (Novosibirsk and Daejeon), J.V. GREBNEVA(Novosibirsk): Two Approaches to Automatic Recognition of Tabular Property of Superintuitionistic Logics |
| 18:10 - 18:30 | E. GRACZYNSKA (Opole)
and D. SCHWEIGERT:
M-hyperquasiverietes |
18:10 - 18:30 | J. ZYGMUNT (Wroclaw): Mostowski’s contribution to Tarski’s methodology of deductive systems. |
| 18 : 30 | CLOSING SESSION | ||
| 9:00 | Departure
by the conference bus to Warsaw |