Bulletin of the Section of Logic 45/3-4 (2016)


  1. Authors:
    Anna GLENSZCZYK

    Title:
    Monadic Fragments of Intuitionistic Control Logic

    Pages:
    143-154
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Emilia HALUSKOVA

    Title:
    On Direct Limit Closed Classes of Algebras

    Pages:
    155-170
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Zofia Kostrzycka

    Title:
    Interpolation in Normal Extensions of the Brouwer Logic

    Pages:
    171-186
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Marcin LAZARZ

    Title:
    Characterization of Birkhoff's Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices

    Pages:
    187-200
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Bogdan STARUCH and Bozena STARUCH

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

    Pages:
    201-214
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Bogdan STARUCH

    Title:
    Irredundant Decomposition of Algebras into One-Dimensional Factors

    Pages:
    215-240
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Adam KOLANY and Miroslaw WROBEL

    Title:
    Some Algebraic and Algorithmic Problems in Acoustocerebrography

    Pages:
    241-258
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Wojciech DZIK and Sandor RADELECZKI

    Title:
    Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras

    Pages:
    259-269
    File:
    bibtex
    Abstract ( + )