Colloquium on Modal and Many-valued Logics (Helsinki 1962)