Vol. 44 No. 3/4 (2015)

Article

• Simple Logics for Basic Algebras

  Ja̅nis Cı̅rulis (Author)

  95–110

  • PDF

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

  Zofia Kostrzycka (Author)

  111–130

  • PDF

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

  Feng Gao, George Tourlakis (Author)

  131–147

  • PDF

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

  Alexej P. Pynko (Author)

  149–153

  • PDF

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

  Aldo V. Figallo, Gustavo Pelaitay (Author)

  155–181

  • PDF