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