Bulletin of the Section of Logic 8/2 (1979)


  1. Authors:
    Wieslaw DZIOBIAK

    Title:
    An example concerning the lattice of the structural consequence operations

    Pages:
    48-52
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Wieslaw DZIOBIAK and Wojciech SACHWANOWICZ

    Title:
    On two notions concerning the structural sentential calculi

    Pages:
    54-60
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Zdzislaw DYWAN

    Title:
    Finite structural axiomatization of every finite-valued propositional calculus

    Pages:
    61-67
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Andrzej WRONSKI

    Title:
    A three element matrix whose consequence operation is not finitely based

    Pages:
    68-70
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Piotr WOJTYLAK

    Title:
    Matrix representations for structural strengthenings of a propositional logic

    Pages:
    72-78
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Janusz CZELAKOWSKI

    Title:
    Large matrices which induce finite consequence operations

    Pages:
    79-82
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Janusz CZELAKOWSKI

    Title:
    A characterization of Matr(C)

    Pages:
    83-86
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Wieslaw DZIOBIAK

    Title:
    On strongly finite consequence operations

    Pages:
    87-94
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Wieslaw DZIOBIAK

    Title:
    An example of strongly finite consequence operation with continuum standard strengthenings

    Pages:
    95-98
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Piotr WOJTYLAK

    Title:
    Strongly finie logics: Finite axiomatizability and the problem of supremum

    Pages:
    99-111
    File:
    bibtex
    Abstract ( + )
  11. Authors:
    Jan ZYGMUNT

    Title:
    Entailment relations and matrices I

    Pages:
    112-119
    File:
    bibtex
    Abstract ( + )