Geodesic

Volume 44 (2015) no. 3-4

Sommaire

A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
Simple Logics for Basic Algebras
Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras