Submissions are open for a special volume in Springer’s series Studies in Universal Logic, on the topic:
Modern Logic 1850-1950, East and West.
This volume honors Irving Anellis (1946-2013), founder of the journal Modern Logic (subsequently The Review of Modern Logic) whose more than 140 articles, books, and edited works span the entire history of modern logic.
Topics for the special issue include but are not limited to:
- Mathematical logic: proof theory and meta-mathematics, applications of logic to mathematical structures.
- Work of Bertrand Russell in set theory and logic, and of Charles Sanders Peirce in algebra and algebraic logic.
- History of proof theory, especially in respect to the Loewenheim-Skolem Theorem and Herbrand’s fundamental theorem; logic trees; natural deduction.
- History of logic and mathematics in the Soviet Union and Russia.
Extended versions of work previously published in conference proceedings can be submitted but authors should make it clear how their submission improves upon the conference publication.
Papers should be submitted by email as a .pdf attachment to both guest editors:
Francine F. Abeles: email@example.com
Mark E. Fuller: firstname.lastname@example.org
The deadline for submission is: 31 May 2014.