Journal: Logica Universalis

Volume 4, Issue 1

1 -- 29Marc Aiguier, Delphine Longuet. Some General Results About Proof Normalization
31 -- 39Andrzej Wisniewski, Jerzy Pogonowski. Diagonalization in Double Frames
41 -- 66Alexej P. Pynko. Many-Place Sequent Calculi for Finitely-Valued Logics
67 -- 135Jan Dejnozka. The Concept of Relevance and the Logic Diagram Tradition
137 -- 160Juliana Bueno-Soler. Two Semantical Approaches to Paraconsistent Modalities