Bulletin of the Section of Logic 28/3 (1999)details


Table of contents




  • 1. Stephen COOK and Michael SOLTYS, Boolean Programs and Quantified Propositional Proof Systems119

  • 2. Janis CIRULIS, Positive Implicative BCK-algebras with Condition (S)131

  • 3. Vladimir V. RYBAKOV, An explicit basis for rules admissible in modal system S4135

  • 4. Vladimir V. RYBAKOV, M. TERZILER and C. GENCER, An essay on unification and inference rules for modal logics145

  • 5. Ewa GRACZYNSKA and Zbigniew OZIEWICZ, Birkhoff's theorems via tree operads159

  • 6. Piotr LUKOWSKI, A reductive approach to L-decidability171