Call for Papers
Special Issue of Studia Logica
on Cut-elimination in classical and nonclassical logic
Guest editor: Alexander Leitsch
Cut-elimination introduced by Gerhard Gentzen is the most prominent form of proof transformation in logic and plays an important role in the analysis of mathematical proofs. The removal of cuts corresponds to the elimination of intermediate statements (lemmas) from proofs resulting in a proof which is analytic in the sense, that all statements in the proof are subformulas of the result. Therefore, the proof of a combinatorial statement is converted into a purely combinatorial proof. Cut elimination is therefore an essential tool for the analysis of proofs, especially to make implicit parameters explicit.
Cut free derivations allow for the extraction of Herbrand disjunctions, which can be used to establish bounds on existential quantifiers. Another application is the construction of interpolants, which allow for the replacement of implicit definitions by explicit definitions according to Beth's Theorem.
More recently cut-elimination has been established for a wide range of calculi in nonclassical logic. Moreover the methods for classical first-order logic have been improved and refined, which opened the way for performing cut-elimination by efficient programs.
The purpose of this special issue of Studia Logica is to focus on different aspects of cut-elimination: 1. to show how and how far the cut-elimination theorem can be extended to nonclassical logics, 2. to investigate and improve (computational) methods for cut-elimination and investigate their complexity, and 3. to transform and analyze real mathematical proofs by means of cut-elimination.
Invited authors
- Matthias Baaz
- Alessandra Carbone
- Grigori Mints
- Helmut Schwichtenberg
Submission of Papers
Submitted papers should not exceed 20 pages (including bibliography), formatted according to the Studia Logica LaTex style (see Information for Authors). Only electronic submissions will be accepted. The authors should send an email with subject "Studia Logica Submission" to guest editor (Alexander Leitsch, leitsch@logic.at), with the file of the paper as an attachment (in postscript or pdf format), and the following information in the body of the email in plain text: paper title, author names, surface mail, email address and phone number of the contact author, a short abstract and up to five keywords.
Important Date
- Deadline for submission of manuscripts: March 31, 2005
last modfied 17.01.2004; designer and webmaster: Krzysztof Pszczola
