[DL] Scope of Logic Theorems II - Call for Papers

[Universal Logic]

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