Bulletin of the Section of Logic
Tom 44 ( 2015), Nr 3-4

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Checked:

Simple Logics for Basic Algebras

Janis Cirulis
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Frames

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

Feng Gao George Tourlakis
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics

Alexej P. Pynko
Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras

A.V. Figallo G. Pelaitay