Bulletin of the Section of Logic 44/3-4 (2015)details


Table of contents




  • 1. Janis CIRULIS, Simple Logics for Basic Algebras95

  • 2. Zofia KOSTRZYCKA, On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames111

  • 3. Feng GAO and George TOURLAKIS, A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics131

  • 4. Alexej P. PYNKO, Minimal Sequent Calculi for Lukasiewicz’s Finitely-Valued Logics149

  • 5. A. V. FIGALLO and G. PELAITAY, Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras155