# Special Issue "Mathematical Logic and Its Applications 2021"

A special issue of *Mathematics* (ISSN 2227-7390). This special issue belongs to the section "Mathematics and Computer Science".

Deadline for manuscript submissions: **closed (31 July 2022)** | Viewed by 8931

## Special Issue Editors

**Interests:**descriptive set theory; forcing; nonstandard analysis; discrete optimization; mathematical biology

Special Issues, Collections and Topics in MDPI journals

**Interests:**descriptive set theory; forcing; nonstandard analysis

Special Issues, Collections and Topics in MDPI journals

## Special Issue Information

Dear Colleagues,

Mathematical logic is a thriving field of mathematics having a considerable variety of applications.

The volume accepts high-quality papers presenting original researches in mathematical logic and applications that focus mainly (but not only) on descriptive set theory, non-standard analysis, definability, and forcing, as well as discrete optimization, including optimization by exact algorithms of polynomial computational complexity or, by contrast, NP-hardness of the corresponding problem. Papers on the complexity of objects (words and graphs) and of the distance between them, on the complexity of computations, on proof theory (in particular as generalized computations), on non-classical and modal logic and (especially) related theories, including intuitionistic set theory, are also welcome.

We gladly invite papers to this Special Issue related to applications of mathematical logic to mathematical physics, mathematical biology, bioinformatics, theoretical medicine, to problems of artificial intelligence (knowledge representation, pattern recognition, image analysis and understanding, et cetera), and to challenges of finding information quickly and efficiently by accessing big data repositories.

These topics, both fundamental and applied, cover many important modern trends.

This special issue will be a continuation of the special issue "Mathematical Logic and Its Applications 2020", published at https://www.mdpi.com/journal/mathematics/special_issues/math-logic-2020 and also as a separate reprint (ISBN TBA).

Prof. Dr. Vassily Lyubetsky

Prof. Dr. Vladimir Kanovei*Guest Editors*

**Manuscript Submission Information**

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. *Mathematics* is an international peer-reviewed open access semimonthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2100 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

## Keywords

- descriptive set theory
- non-standard analysis
- definability
- forcing
- algorithmic optimization
- discrete optimization
- exact algorithms of polynomial complexity
- NP-hardness
- computational complexity
- proof theory
- non-classical logic
- modal logic
- intuitionistic set theory
- mathematical biology
- artificial intelligence