Bulletin of the Section of Logic 26/3 (1997)


  1. Authors:
    Alexander S. KARPENKO and Vladimir M.POPOV

    Title:
    BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω

    Pages:
    112-117
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    M.I. GOLOVANOV

    Title:
    Bimodal propositional logic S52Cn

    Pages:
    118-125
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    V.V. RIMATSKIY

    Title:
    Finite bases of admissible inference rules for modal logics of width 2

    Pages:
    126-134
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Sergej MARDAEV

    Title:
    Fixed points of modal negative operators

    Pages:
    135-138
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Judit MADARASZ, Istvan NEMETI and Gabor SAGI

    Title:
    On the finitization problem of relation algebras

    Pages:
    139-143
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Paulo A.S. VELOSO

    Title:
    Characterisations for fork algebras and their relational reducts

    Pages:
    144-155
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Greg RESTALL

    Title:
    Paraconsistent logics!

    Pages:
    156-163
    File:
    bibtex
    Abstract ( + )