Restructuring Logic

2014/03/11 by Joachim Derichs, Derichs, Joachim
Computer Science · Mathematics · #Advanced Algebra and Logic #History and Theory of Mathematics #Logic, Reasoning, and Knowledge #math.LO #msc:03-02

paper · pdf · doi:10.48550/arxiv.1403.2710

arxiv created 2014/03/11 · arxiv updated 2014/03/12

Abstract

The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme.

Related

• Mathematical Logic
• Languages, Algorithms, Procedures, Calculi, and Metalogic
• Foundations
• The Development of Modern Logic
• Logical reloading as overcoming of crisis in geometry