Bulletin of the Section of Logic 19/3 (1990)


  1. Authors:
    Tsutomu HOSOI and Katsumi SASAKI

    Title:
    Finite logics and the simple substitution property

    Pages:
    74-78
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Dorota FIJALKOWSKA and Jan FIJALKOWSKI

    Title:
    On theories of non-monotonic consequence operations II

    Pages:
    79-83
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Branislav R.BORICIC

    Title:
    Some modofications of the Godel translation of classical logic into intuitionistic logic

    Pages:
    84-86
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Dolph ULRICH

    Title:
    An integer-valued matrix characteristic for implicational S5

    Pages:
    87-91
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Piotr LUKOWSKI

    Title:
    Intuitionistic sentential calculus with identity

    Pages:
    92-99
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Robert K.MEYER

    Title:
    Peirced Clean Through

    Pages:
    100-101
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Tomasz SKURA

    Title:
    On pure refutation formulations of sentential logics

    Pages:
    102-107
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Boguslaw WOLNIEWICZ

    Title:
    A question about semilattices

    Pages:
    108-111
    File:
    bibtex
    Abstract ( + )