Kolekcja Matematyczna

Banach Center Publications

Tom 46

Warszawa 1999

D. Niwiński M. Zawadowski	Preface, Contents	1-7
W. Bartol E. Orłowska A. Skowron	Helena Rasiowa, 1917-1994	9-21
O. Belegradek A. Stolboushkin M. Taitslin	On problems of databases over a fixed infinite universe	23-62
C. Nguyen H. van Nam	A theory of refinement structure of hedge algebras and its applications to fuzzy logic	63-91
A. Dawar	Finite models and finitely many variables	93-117
J. Flum	On the existence of prime ideals in Boolean algebras	119-123
P. Idziak	Decidability and structure	125-135
A. Kfoury	Beta-reduction as unification	137-158
L. Maksimova	Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics	159-168
D. Mundici G. Panti	A constructive proof that every 3-generated l-group is ultrasimplicial	169-178
E. Tahhan Bittar	Strong normalization proofs for cut elimination in Gentzen’s sequent calculi	179-225