Trends in Logic III in memoriam Andrzej Mostowski, Helena Rasiowa, Cecylia Rauszer

Conference Programme  

September 23
    hall 5440
    Faculty of Mathematics, Informatics and Mechanics
    Warsaw University
    2, Banacha Street Warsaw,
    click to learn how to get there

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

September 24

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
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
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

September 25

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
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
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.


Anita WASILEWSKA: Semantics and syntax for data mining, a general model
Zygmunt VETULANI: A further generalization of Mostowskian Quantifiers

Many abstracts are available here


September 26

9:00 Departure by the conference bus to Warsaw