College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Arts
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Logic PhDs


Series Editor:
Jean-Yves Beziau, Federal University of Rio de Janeiro and Brazilian Research Council

Editorial Board:
Patrick Blackburn (University of Roskilde, Denmark)
Jack Copeland (University of Canterbury, Christchurch, New Zealand)
Wilfrid Hodges (University of London, England)
Penelope Maddy (University of California, Irvine, USA)
Volker Peckhaus (University of Paderborn, Germany)
Friedrich Stadler (Vienna Circle Institute, Austria)
Jan Wolenski (Jagellionian University, Kraków, Poland)
Richard Zach (University of Calgary, Canada)
Jan Zygmunt (University of Wroclaw, Poland)

****************************************************************************
The idea of this book series Logic PhDs is to publish
PhD dissertations on logic (exclusively on logic but all aspects of logic):
(1) important PhDs from the past
(2) the best recent ones.
The idea is not only to publish the dissertation but to have an extended presentation of the author and his work:
(a) To give precise details of the circumstances of the PhD and an analysis of its content.
(b) To describe the background both from the perspectives of the history of logic and personal bio of the author
(c) To explain further developments after the PhD, also in both perspectives (in case of recent PhDs: expectations of future developments).

In case the original is not in English, we will publish the original and the translation.
It maybe be useful in some cases also to include additional materials by the author of the PhD.

*************************************************************************
Volumes in preparation:

Christine Ladd-Franklin, 1882, The Johns Hopkins University
On the Algebra of Logic
PhD advisor: Charles Peirce
Volume prepared by Ahti-Veikko Pietarinen (University of Helsinki, Finland) and Amirouche Moktefi (Tallinn University of Technology, Estonia)

Gerhard Gentzen, 1933, University of Göttingen
Untersuchungen über das logische Schließen (Investigations into Logical Inference)
PhD advisor: Paul Bernays
Volume prepared by Jan von Plato (University of Helsinki, Finland)

Saunders Mac Lane, 1934, University of Göttingen
Abgekürzte Beweise im Logikkalkul (Abbreviated Proofs in the Logical Calculus)
PhD advisors: Hermann Weyl and Paul Bernays
Volume prepared by Peter Arndt (University of Regensburg, Germany)

Oiva Ketonen, 1944, The University of Helsiniki
Untersuchungen zum Prädikatenkalkul (Investigations on the predicate calculus)
PhD Advisors: Eino Kaila, and Gerhard Gentzen
Volume prepared by Sara Negri and Jan von Plato (University of Helsinki, Finland)

Newton C.A. da Costa, 1963, Federal University of Paraná
Sistemas Formais Inconsistentes (Inconsistent formal systems)
Habilitation thesis
Volume prepared by Itala D'Ottaviano (State University of Campinas UNICAMP, Brazil)

Jean Porte, 1965, University of Paris
Recherches sur la Théorie Générale des Systèmes Formels et sur les Systèmes Connectifs
(Researches in the General Theory of Formal Systems and in Connectives Systems)
PhD advisor: René de Possel
Volume prepared by Marcel Guillaume (University of Clermont-Ferrand, France)

Hans Kamp, 1968, UCLA
Tense Logic and the Theory of Linear Order
PhD advisor: Richard Montague
Volume prepared by Alexander Rabinowitz, (Tel Aviv University, Israel)

Krister Segerberg, 1971, Stanford University
An Essay in Classical Modal Logic
PhD advisor: Dana Scott
Volume prepared by Patrick Blackburn (University of Roskilde, Denmark)

Walter Bernard Redmond, 1972, Universidad Nacional Mayor de San Marcos
La lógica en el virreinato del Perú a través de las obras de Juan de Espinoza Medrano e Isidoro de Celis
(Logic in the Viceroyalty of Perú through the works of Juan de Espinosa Medrano and Isidoro de Celis, in Spanish)
No advisor assigned due to the originality of the topic
Volume prepared by Luis Felipe Bartolo Alegre (UNMSM, Peru) and Jean Christian Egoavil (UP, Peru)

******************************************************************************


Volume 3:

Investigations into the Predicate Calculus

Oiva Ketonen. Edited by Sara Negri and Jan von Plato

978-1-84890-407-1

View Details


Volume 2:

The Algebra of Intensional Logics
with an introductory essay by Katalin Bimbó

J. Michael Dunn

978-1-84890-318-0

View Details


Volume 1:

Foundations of Combinatory Logics
(Grundlagen der kombinatorischen Logik)

Haskell Curry. Translated and presented by Fairouz Kamareddine and Jonathan Seldin

978-1-84890-202-2

View Details





© 2005–2024 College Publications / VFH webmaster