Bulletin of the Section of Logic 5/4 (1976)


  1. Authors:
    Andrzej WRONSKI

    Title:
    Remarks on Hallden completeness of modal and intermediate logics

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Andrzej WRONSKI

    Title:
    The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Robert K. MEYER

    Title:
    Relevant arithmetic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Robert K. MEYER

    Title:
    Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics

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

    Title:
    A new proof of structural completeness of Lukasiewicz's logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Piotr WOJTYLAK

    Title:
    On structural completeness of the infinite-valued Lukasiewicz's propositional calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )