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:
- Decision Analysis and Multi-Criteria Decision Making (Deadline: 31 October 2023)
- Fuzzy Transforms and Their Applications II (Deadline: 30 November 2023)
- Applied Fuzzy Logic and Soft Computing to Real World Problems (Deadline: 15 December 2023)
- Fuzzy Logic and Application in Multi-Criteria Decision-Making (MCDM) II (Deadline: 20 December 2023)
- Computational Intelligence and Software Engineering (Deadline: 31 December 2023)
- Fuzzy Systems and Decision Making Theory (Deadline: 31 December 2023)
- Uncertainty Modeling in Decision Theory (Deadline: 30 January 2024)
- The Application of Fuzzy Decision-Making Theory and Method (Deadline: 20 February 2024)
- Recent Developments in Fuzzy Control Systems and Their Applications (Deadline: 28 February 2024)
- Advances in Numerical Algorithms for Machine Learning (Deadline: 31 March 2024)
- Advances in Fuzzy Logic and Computational Intelligence (Deadline: 31 March 2024)
- Advances in Inverse Problems and Machine Learning Solutions (Deadline: 31 March 2024)
- Fuzzy Logic Algorithms and Its Applications (Deadline: 31 May 2024)
- New Perspectives in Fuzzy Sets and Its Applications (Deadline: 31 May 2024)
- Stochastic Optimization and Metaheuristic Optimization: Theory and Applications (Deadline: 31 May 2024)