Bulletin of the Section of Logic 18/3 (1989)


  1. Authors:
    Katsumi SASAKI

    Title:
    The simple substitution property of the intermediate propositional logics

    Pages:
    94-99
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Yuichi KOMORI

    Title:
    Logic based on combinators

    Pages:
    100-104
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Boguslaw WOLNIEWICZ

    Title:
    On atomic join-semilattices

    Pages:
    105-111
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Krzysztof SZYMANEK

    Title:
    Classical subtheories and intuitionism

    Pages:
    112-115
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Tomasz SKURA

    Title:
    A complete syntactical characterization of the intuitionistic logic

    Pages:
    116-120
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Pavel MATERNA

    Title:
    Do we need a restriction of the law of contradiction?

    Pages:
    121-131
    File:
    bibtex
    Abstract ( + )