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


  1. Authors:
    Bernd DAHN

    Title:
    Neighbourhood semantics and generalized Kripke models

    Pages:
    2-8
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Teresa ZAKRZEWSKA

    Title:
    Some remarks on three-valued implicative sentential calculi

    Pages:
    9-12
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Wieslawa ZANDAROWSKA

    Title:
    The modal system S3 and SCI

    Pages:
    13-15
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Rolf SCHOCK

    Title:
    Complete systems of indexical logic

    Pages:
    16-19
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Wieslaw DZIOBIAK

    Title:
    Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright

    Pages:
    20-24
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Jerzy CZAJSNER

    Title:
    Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculus

    Pages:
    25-28
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Marian MADUCH

    Title:
    On Lindenbaum's algebras of finite implicational Lukasiewicz's logics

    Pages:
    29-32
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Wojciech BUSZKOWSKI

    Title:
    Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus

    Pages:
    33-37
    File:
    bibtex
    Abstract ( + )