[Koglist] Scope of Logic Theorems - Call for Papers

After a successful issue of Logica Universalis on logic theorems examining the scope of validity and the domain of application of fundamental theorems of modern logic http://link.springer.com/journal/11787/8/3/page/1 we are preparing a second issue dealing in particular with theorems not discussed in the first issue. Deadline is July 31st, 2015 Jean-Yves Beziau Editor-in-Chief Logica Universalis http://www.logica-universalis.org/ Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum Jean-Yves Beziau http://link.springer.com/article/10.1007/s11787-014-0109-1 Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References Jan Zygmunt, Robert Purdy http://link.springer.com/article/10.1007/s11787-014-0108-2 Direct Proofs of Lindenbaum Conditionals René Gazzari http://link.springer.com/article/10.1007/s11787-013-0081-1 On Transferring Model Theoretic Theorems of L8,? in the Category of Sets to a Fixed Grothendieck Topos Nathanael Leedom Ackerman http://link.springer.com/article/10.1007/s11787-014-0105-5 The Institution-Theoretic Scope of Logic Theorems Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki http://link.springer.com/article/10.1007/s11787-013-0093-x Dugundji’s Theorem Revisited Marcelo E. Coniglio, Newton M. Peron Pages http://link.springer.com/article/10.1007/s11787-014-0106-4 Craig Interpolation in the Presence of Unreliable Connectives João Rasga, Cristina Sernadas, Amlcar Sernadas http://link.springer.com/article/10.1007/s11787-014-0101-9 There is No Paradox of Logical Validity Roy T. Cook http://link.springer.com/article/10.1007/s11787-014-0094-4 Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally Daniel Gaina http://link.springer.com/article/10.1007/s11787-013-0090-0 The Scope of Gödel’s First Incompleteness Theorem Bernd Buldt http://link.springer.com/article/10.1007/s11787-014-0107-3