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:
- Fuzzy Logic Algorithms and Its Applications (Deadline: 29 November 2024)
- Fuzzy Set Theory and Its Applications in Decision Making II (Deadline: 30 November 2024)
- New Perspectives in Fuzzy Sets and Their Applications (Deadline: 30 November 2024)
- Advances in Fuzzy Logic with Applications (Deadline: 31 January 2025)
- Stochastic Optimization and Metaheuristic Optimization: Theory and Applications (Deadline: 28 February 2025)
- Mathematics in Fuzzy Logic System Modeling (Deadline: 20 March 2025)
- Recent Developments in Fuzzy Control Systems and Their Applications (Deadline: 28 April 2025)
