Logic List Mailing Archive

CfP book on "Modern Logic, 1850-1950, East and West", Deadline: 31 May 2014

*CALL FOR PAPERS*

We invite submissions for a special volume in the series Studies in
Universal Logic http://www.springer.com/series/7391

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:

1. Mathematical logic: proof theory and meta-mathematics, applications of
logic to mathematical structures.
2. Work of Bertrand Russell in set theory and logic, and of Charles Sanders
Peirce in algebra and algebraic logic.
3. History of proof theory, especially in respect to the Loewenheim-Skolem
Theorem and Herbrand's Fundamental theorem; logic trees; natural deduction.
4. 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: fabeles@kean.edu
Mark E. Fuller: mark.fuller@uwc.edu

The deadline for submission is: 31 May 2014.




-- 
Dr. Francine F. Abeles
Departments of Mathematics and Computer Science
Kean University
Union, NJ 07083
www.kean.edu/~fabeles