Bulletin of the Section of Logic 25/1 (1996)


  1. Authors:
    Krister SEGERBERG

    Title:
    A general framework for the logic of theory change

    Pages:
    2-8
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Konrad TURZYNSKI

    Title:
    Simple sandwiches and related results of Keisler and Kochen

    Pages:
    9-14
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Roman TUZIAK

    Title:
    Paraconsistent extensions of positive logic

    Pages:
    15-20
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Nobu-Yuki SUZUKI

    Title:
    A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logic

    Pages:
    21-28
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Istvan NEMETI

    Title:
    Ontology can turn negative results to positive

    Pages:
    29-40
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Wendy MacCAULL

    Title:
    Kripke semantics for logic with BCK

    Pages:
    41-51
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Alexander S. KARPENKO

    Title:
    The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generation

    Pages:
    52-57
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Tomasz KOWALSKI

    Title:
    A Perzanowski's hypothesis confirmed

    Pages:
    58-59
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Heinrich WANSING

    Title:
    A new axiomatization of K1

    Pages:
    60-62
    File:
    bibtex
    Abstract ( + )