Affiliated Symposium of the Association held at 11th Congress of Logic, Methodology and Philosophy of Science August 29-26, 1999, Cracow, Poland |

The symposium, held on August 24, 1999, included the following papers.

- W. Marciszewski

The two origins of modern logic: 1879, 1936- Z. Adamowicz, P. Zbierski

On complexity reduction of signa-one formulas- A. Gomolińska

A uniform framework for representing social actors and their interactions- M. Krynicki

Ambiguous quantifiers and zero-one laws- D. Niwiński, A. Arnold

The mi-calculus - an algebra of inductive definitions- G. Malinowski

Three faces of logical many-valuedness- J. Woleński
Metamathematical properties and `being formal'