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