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


  1. Authors:
    Stephen COOK and Michael SOLTYS

    Title:
    Boolean Programs and Quantified Propositional Proof Systems

    Pages:
    119-129
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Janis CIRULIS

    Title:
    Positive Implicative BCK-algebras with Condition (S)

    Pages:
    131-133
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Vladimir V. RYBAKOV

    Title:
    An explicit basis for rules admissible in modal system S4

    Pages:
    135-144
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Vladimir V. RYBAKOV, M. TERZILER and C. GENCER

    Title:
    An essay on unification and inference rules for modal logics

    Pages:
    145-158
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Ewa GRACZYNSKA and Zbigniew OZIEWICZ

    Title:
    Birkhoff's theorems via tree operads

    Pages:
    159-178
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Piotr LUKOWSKI

    Title:
    A reductive approach to L-decidability

    Pages:
    171-177
    File:
    bibtex
    Abstract ( + )