Bulletin of the Section of Logic 20/2 (1991)details


Table of contents

• 1. David MILLER, An open problem in Tarski's calculus of deductive systems36


• 2. Andre T.FUHRMANN, Conditional logics and cumulative logics44


• 3. Paulo A.S.VELOSO and Armando M.HAEBERER, A finitary relational algebra for classical first-order logic52


• 4. Ewa GRACZYNSKA, An undecidable problem for regular equations63


• 5. Marcin MOSTOWSKI, Divisibility Quantifiers67