Mathematical Logic and Category Theory with Applications
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "A: Algebra and Logic".
Deadline for manuscript submissions: 30 June 2026 | Viewed by 4
Special Issue Editors
Interests: special group theory; mathematical logic; category theory
Interests: foundations of contemporary logic systems; foundations of formal semantics; computability and artificial intelligence; combinations of logics; finite and infinite combinatorics
Special Issue Information
Dear Colleagues,
In recent decades, the strong and fruitful connections between algebra and logic have been further enriched through their interactions with category theory and computer science.
This Special Issue of Mathematics, “Mathematical Logic and Category Theory with Applications”, focuses on recent developments in category theory and mathematical logic, an as well as their applications in mathematics—particularly algebra—and computer science.
Suitable topics for this Special Issue include, but are not limited to, the following:
- Category theory;
- Applied category theory;
- Mathematical logic and type theory;
- Fibred categories and institutions;
- Finite model theory;
- Model theory and applications to mathematics;
- Universal algebra and algebraic logic;
- Algebraic and categorical models of non-classical logics;
- Hyperstructures in algebra and logic;
- Categorical models of geometry.
Dr. Hugo Luiz Mariano
Prof. Dr. Walter Carnielli
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 2600 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
- category theory
- topos theory
- model theory
- theoretical computer science
- non classical logics
- algebraic logic
- universal algebra
- hypercompositional algebra
- commutative algebra
- smooth commutative algebra
Benefits of Publishing in a Special Issue
- Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
- Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
- Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
- External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
- Reprint: MDPI Books provides the opportunity to republish successful Special Issues in book format, both online and in print.
Further information on MDPI's Special Issue policies can be found here.
