Special Issue on Mathematical Logic

Mathematical Logic investigates the power of mathematical reasoning itself. The exciting and active areas of logic today are set theory, model theory and connections with computer science. Set theory addresses various ways to axiomatize mathematics, with implications for understanding the properties of sets having large infinite cardinalities and connections with the axiomatization of mathematics. Model theory investigates particular mathematical theories such as complex algebraic geometry, and has been used to settle open questions in these areas. Theoretical computer science developed partially out of logic, and questions such as P = NP are being pursued with techniques from logic. As one of most important branches in the pure mathematics, mathematical logic is of great attractions to researchers.

In this special issue, we intend to invite front-line researchers and authors to submit original researches and review articles on exploring mathematical logic. Potential topics include, but are not limited to:

• Set theory and paradoxes
• Model theory
• Recursion theory
• Proof theory
• Constructive mathematics
• Categorical logic
• Symbolic logic
• Propositional logic
• First-order logic

Authors should read over the journal’s Authors’ Guidelines carefully before submission. Prospective authors should submit an electronic copy of their complete manuscript through the journal’s Paper Submission System.

Please kindly notice that the “Special Issue” under your manuscript title is supposed to be specified and the research field “Special Issue - Mathematical Logic” should be chosen during your submission.

According to the following timetable:

Guest Editor:

For further questions or inquiries

Please contact Editorial Assistant at

apm@scirp.org