Logic
A section of Axioms (ISSN 2075-1680).
Keywords
- Algebraic logic
- Automated reasoning
- Constructive logic
- Categorical logic
- Computability and recursion theory
- Decision making
- Fuzzy optimization
- Fuzzy theory
- General logic
- Knowledge-based systems
- Logical systems
- Logic programming
- Model theory
- Proof theory and constructive mathematics
- Set theory
- Symbolic logic
- Type theory
Editorial Board
Topical Advisory Panel
Special Issues
Following special issues within this section are currently open for submissions:
- Advances in Fuzzy Logic with Applications (Deadline: 30 September 2025)
- Advances in Fuzzy Logic and Fuzzy Implications (Deadline: 30 September 2025)
- Mathematics in Fuzzy Logic System Modeling (Deadline: 30 November 2025)
- New Perspectives in Fuzzy Sets and Their Applications, 2nd Edition (Deadline: 31 January 2026)
