Bulletin of the Section of Logic 15/3 (1986)


  1. Authors:
    Zdzislaw HABASINSKI

    Title:
    Decidability in Pratt's process logic

    Pages:
    88-95
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Andre T.FUHRMANN

    Title:
    Gentzen semantics for de Morgan lattice logic

    Pages:
    96-102
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Alexander S.KARPENKO

    Title:
    A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete
    logics (graphs for prime numbers)

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Vladimir L.VASYUKOV

    Title:
    The bibinary semantics for R and Lω

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Stanislaw WRONSKI

    Title:
    On the operations definable in terms of the complementation and the closure

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Gyorgy SERENY

    Title:
    Lower level connections between representations of relation algebras (abstract)

    Pages:
    -
    File:
    bibtex
    Abstract ( + )