Vol. 45 No. 3/4 (2016)

View Vol. 45 No. 3/4 (2016)

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: 2016-12-30

  • Monadic Fragments of Intuitionistic Control Logic

    Anna Glenszczyk (Author)
    143–153
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.01

  • On Direct Limit Closed Classes of Algebras

    Emília Halušková (Author)
    155–169
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.02

  • Interpolation in Normal Extensions of the Brouwer Logic

    Zofia Kostrzycka (Author)
    171–184
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.03

  • Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices

    Marcin Łazarz (Author)
    185–197
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.04

  • Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts

    Bogdan Staruch, Bożena Staruch (Author)
    199–211
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.05

  • Irredundant Decomposition of Algebras into One-Dimensional Factors

    Bogdan Staruch (Author)
    213–238
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.06

  • Some Algebraic and Algorithmic Problems in Acoustocerebrography

    Adam Kolany, Miroslaw Wrobel (Author)
    239–256
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.07

  • Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

    Wojciech Dzik, Sándor Radeleczki (Author)
    257–267
    DOI: https://doi.org/10.18778/0138-0680.45.3.4.08