Bulletin of the Section of Logic 10/2 (1981)


  1. Authors:
    Maria NOWAKOWSKA

    Title:
    A new theory of time: generation of time from fuzzy temporal relations

    Pages:
    56-62
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Leon GUMANSKI

    Title:
    The deontic calculus DSC3

    Pages:
    63-67
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Laszlo CSIRMAZ

    Title:
    Nonstandard runs and program verification

    Pages:
    68-74
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Teodor STEPIEN

    Title:
    System S-bar

    Pages:
    75-79
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Jacek HAWRANEK and Jan ZYGMUNT

    Title:
    Another proof of Wojtylak's theorem

    Pages:
    80-82
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Balazs BIRO

    Title:
    On the completeness of program verifications methods

    Pages:
    83-90
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    George EPSTEIN

    Title:
    On Rine's view of Boolean algebras

    Pages:
    91-92
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Marek PALASINSKI

    Title:
    On a problem on BCK-algebras

    Pages:
    93-99
    File:
    bibtex
    Abstract ( + )