Bulletin of the Section of Logic 29/4 (2000)


  1. Authors:
    Anetta GORNICKA

    Title:
    Dual consequence operations associated with a certain class of logical matrices

    Pages:
    143-150
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Fernando Naufel do AMARAL and Edward Hermann HAEUSLER

    Title:
    Completeness of an action logic for timed transition Systems

    Pages:
    151-159
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Grzegorz BRYLL and Robert SOCHACKI

    Title:
    On a relationship between some classes of elimination operators and some classes

    Pages:
    161-170
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Andrei KOUZNETSOV

    Title:
    Multidimensional algebra on the generalized sequences

    Pages:
    171-179
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Vladimir V.RYBAKOV and B.FEDORISHIN

    Title:
    Faces of monotonicity and wisdom formulas problem

    Pages:
    181-192
    File:
    bibtex
    Abstract ( + )