This is a preview. Log in through your library . Journal Information Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 48, No. 4 (1989), pp. 449-459 (11 pages) We prove that the intuitionistic sentential calculus is Ł-decidable (decidable in the sense of ...