Bulletin of the Section of Logic 47/3 (2018)


  1. Authors:
    Maria MANZANO, Manuel Crescenio MORENO

    Title:
    Identity, Equality, Nameability and Completeness. Part II

    Pages:
    141-158
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Zofia KOSTRZYCKA

    Title:
    On Interpolation in NEXT(KB.Alt(2))

    Pages:
    159-170
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Berhanu ASSAYE, Mihret ALEMNEH and Gerima TEFERA

    Title:
    B-Almost Distributive Fuzzy Lattice

    Pages:
    171-185
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Rafal GRUSZCZYNSKI and Andrzej PIETRUSZCZAK

    Title:
    A Comparison of Two Systems of Point-free Topology

    Pages:
    187-200
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Mateusz KLONOWSKI

    Title:
    A Post-style Proof of Completeness Theorem for Symmetric Relatedness Logic S

    Pages:
    201-215
    File:
    bibtex
    Abstract ( + )