BULLETIN OF THE SECTION OF LOGIC

25/3-4, 1996

TABLE OF CONTENTS

This is a special issue of the Bulletin containing abstracts of the papers delivered at the special session

LOGIC, ALGEBRA AND COMPUTER SCIENCE:
HELENA RASIOWA AND CECYLIA RAUSZER
IN MEMORIAM

Warszawa, Poland
June 10, 1995

Edited by Andrzej Skowron

1. Helena Rasiowa and Cecylia Rauszer. Two generations in Logic, Wiktor Bartol	120 [PDF]
2. Helena Rasiowa's list of publications	126 [PDF]
3. Cecylia Rauszer's list of publications	134 [PDF]
4. Abstracts of lectures

4.1. An Algebraic Approach to Logics in Research Work of Helena Rasiowa and Cecylia Rauszer, Andrzej Jankowski	139 [PDF]
4.2. Proof-Theoretical Investigations of Helena Rasiowa, Ewa Orlowska	147 [PDF]
4.3. Representation Theorems for Implicative Structures, Wojciech Buszkowski	152 [PDF]
4.4. Post Algebras in Helena Rasiowa's Explorations, Tadeusz Traczyk	159 [PDF]
4.5. Non-classical Logics in Quantum Mechanics and Phisics, Maciej Maczynski	161 [PDF]
4.6. Helena Rasiowa's and Cecylia Rauszer's Contribution to Algebra, Wiktor Bartol	166 [PDF]
4.7. Helena Rasiowa's and Cecylia Rauszer's Research on Logical Foundations of Computer Science, Zdzislaw Pawlak and Andrzej Skowron	174 [PDF]
4.8. Approximate Knowledge of Many Agents and Discovery Systems, Jan Zytkow	185 [PDF]

5. Memories

5.1. Greatness Measured by Faith, Talent, Work and Suffering: My Memories of Helena Rasiowa, Maria Semeniuk-Polkowska	190 [PDF]
5.2. One year abroad, Zbigniew Ras	203 [PDF]
5.3. Eulogy for Professor Cecylia Rauszer, Jan Komorowski	206 [PDF]

BULLETIN OF THE SECTION OF LOGIC