Vol. 44 No. 3/4 (2015)

View Vol. 44 No. 3/4 (2015)
Published: 2015-01-01

  • Simple Logics for Basic Algebras

    Ja̅nis Cı̅rulis (Author)
    95–110
    DOI: https://doi.org/10.18778/0138-0680.44.3.4.01

  • On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

    Zofia Kostrzycka (Author)
    111–130
    DOI: https://doi.org/10.18778/0138-0680.44.3.4.02

  • A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

    Feng Gao, George Tourlakis (Author)
    131–147
    DOI: https://doi.org/10.18778/0138-0680.44.3.4.03

  • Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics

    Alexej P. Pynko (Author)
    149–153
    DOI: https://doi.org/10.18778/0138-0680.44.3.4.04

  • Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras

    Aldo V. Figallo, Gustavo Pelaitay (Author)
    155–181
    DOI: https://doi.org/10.18778/0138-0680.44.3.4.05