Vol. 47 No. 1 (2018)

View Vol. 47 No. 1 (2018)

Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma "Bulletin of the Section of Logic”  finansowane w ramach umowy nr 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę.

Published: 2018-03-30

  • Int-Soft Ideals of Pseudo MV-Algebras

    Young Bae Jun, Seok-Zun Song, Hashem Bordbar (Author)
    1–14
    DOI: https://doi.org/10.18778/0138-0680.47.1.01

  • Useful Four-Valued Extension of the Temporal Logic KtT4

    Vincent Degauquier (Author)
    15–31
    DOI: https://doi.org/10.18778/0138-0680.47.1.02

  • PC-lattices: A Class of Bounded BCK-algebras

    Sadegh Khosravi Shoar, Rajab Ali Borzooei, R. Moradian, Atefe Radfar (Author)
    33–44
    DOI: https://doi.org/10.18778/0138-0680.47.1.03

  • Algebraic Characterization of the Local Craig Interpolation Property

    Zalán Gyenis (Author)
    45–58
    DOI: https://doi.org/10.18778/0138-0680.47.1.04

  • Applications of Algebra in Logic and Computer Science – the Past and the Future

    Joanna Grygiel (Author)
    59–76
    DOI: https://doi.org/10.18778/0138-0680.47.1.05