Periodic Reporting for period 1 - ExtenDD (Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms)

Logic is concerned with an analysis of reasoning. The optimal forms of reasoning are proofs, and in modern logic, a special branch, called proof theory, was developed as a formal tool for analysing proofs. After the development of computer science, the results and tools of...