Bulletin of the Section of Logic 29/1-2 (2000)


  1. Authors:
    Paulo A.S.VELOSO

    Title:
    On some misconceptions about ultrafilter logic

    Pages:
    1-12
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Vladimir L.VASYUKOV

    Title:
    Implicative logics, sequential deductive systems and exponential multicategories

    Pages:
    13-25
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Tomasz KOWALSKI

    Title:
    A remark on quasivarieties of modal algebras

    Pages:
    27-30
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Ewa GRACZYNSKA

    Title:
    Proofs of tree identities

    Pages:
    31-41
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    George TOURLAKIS

    Title:
    A basic formal equational predicate logic - Part I

    Pages:
    43-56
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Janusz CIUCIURA

    Title:
    Intuitionistic discursive system (IDS)

    Pages:
    57-62
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Anna GOMOLINSKA and Justyna K.MYSLINSKA

    Title:
    A note on relationship between the consequence operations Cn' and dCn

    Pages:
    63-67
    File:
    bibtex
    Abstract ( + )