Vol. 47 No. 3 (2018)

View Vol. 47 No. 3 (2018)
Published: 2018-10-30

  • Identity, equality, nameability and completeness. Part II

    María Manzano, Manuel Crescencio Moreno (Author)
    141–158
    DOI: https://doi.org/10.18778/0138-0680.47.3.01

  • On interpolation in NEXT(KB.Alt(2))

    Zofia Kostrzycka (Author)
    159–170
    DOI: https://doi.org/10.18778/0138-0680.47.3.02

  • B-almost distributive fuzzy lattice

    Berhanu Assaye, Mihret Alemneh, Gerima Tefera (Author)
    171–185
    DOI: https://doi.org/10.18778/0138-0680.47.3.03

  • A comparison of two systems of point-free topology

    Rafał Gruszczyński, Andrzej Pietruszczak (Author)
    187–200
    DOI: https://doi.org/10.18778/0138-0680.47.3.04

  • A Post-style proof of completeness theorem for symmetric relatedness Logic S

    Mateusz Klonowski (Author)
    201–214
    DOI: https://doi.org/10.18778/0138-0680.47.3.05