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


  1. Authors:
    Kosta DOSEN

    Title:
    Cut elimination in adjunction

    Pages:
    61-73
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Tadao ISHII

    Title:
    A note on varieties of PCI-algebras with EDPC

    Pages:
    75-81
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Misao NAGAYAMA

    Title:
    A normalization theorem for P-W

    Pages:
    83-88
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Jean-Yves BEZIAU

    Title:
    A sequent calculus Lukasiewicz's three-valued logic based on Suszko's bivalent semantics

    Pages:
    89-97
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Ivo DUNTSCH and Ewa ORLOWSKA

    Title:
    Mixing modal and sufficiency operators

    Pages:
    99-107
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Nobu-Yuki SUZUKI

    Title:
    A remark on super-intuitionistic predicate logics having the same propositional fragment

    Pages:
    107-115
    File:
    bibtex
    Abstract ( + )