Volume 2(15), 1998: Emil L. Post and the Problem of Mechanical Provability

Home Page	Description	Editors	Author index	Submission information

Volume XII/XIII 1993/94	Volume 1 (14) 1997	Volume 2 (15) 1998	Volume 3 (16) 1999	Volume 4 (17) 2001
Volume 5 (18) 2002	Volume 6 (19) 2003

Volume 2 (15) 1998:
Emil L. Post and the Problem of Mechanical Provability
A Survey of Post's Contributions in the Centenary of His Birth

Witold Marciszewski

Can Turing-Post Machine Produce Prerequisites for Automated Reasoning? Introduction to this volume.

Roman Murawski

E. L. Post and the development of mathematical logic and recursion theory.

Ewa Orłowska
Post algebras and Post logics.

Grzegorz Malinowski
Many-valued Post Logic.

ISBN 83-87884-07-3

Zenon Sadowski
On the development of Emil Post's ideas in structural complexity theory.

Wiktor Dańko, Jolanta Koszelew

The Post correspondence problem as a tool for proving undecidability in logics of probabilistic programs.

Jolanta Koszelew
   Some Methods for Qualifying Properties of Probabilistic Programs.

Piotr Wojtylak
   Axiomatizability of Logical Matrics.

Witold Marciszewski
   Post's Problem of Creativity and "Nature as Infinite Intelligence".

Urszula Wybraniec-Skardowska
   A formal-logical approach to the problem of imprecision.