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:
- Machine Learning: Theory, Algorithms and Applications (Deadline: 31 August 2022)
- Selected Works from IFSA-EUSFLAT 2021 (Deadline: 30 September 2022)
- 10th Anniversary of Axioms: Logic (Deadline: 20 October 2022)
- New Trends in Fusion Processes Based on Aggregation and Pre-aggregation Functions: Theory and Applications (Deadline: 30 October 2022)
- Non-classical Logics and Related Algebra Systems (Deadline: 31 October 2022)
- Multiple-Criteria Decision-Making and Computational Intelligence: Recent Applications (Deadline: 30 November 2022)
- Fuzzy Transforms and Their Applications II (Deadline: 15 December 2022)
- Advance in Mathematical Logic and Applications (Deadline: 20 December 2022)
- Fuzzy Logic and Application in Multi-Criteria Decision-Making (MCDM) (Deadline: 20 December 2022)
- Multiple-Criteria Decision Making II (Deadline: 30 December 2022)
- Fixed Point Theory and Its Related Topics III (Deadline: 31 December 2022)
- Swarm Intelligence with Mathematical Fuzzy Logic for Computer Science in Real-World Applications (Deadline: 31 December 2022)
- Modal Logic and Logical Geometry (Deadline: 31 December 2022)
- Computational Intelligence and Software Engineering (Deadline: 28 February 2023)
- Fuzzy Set Theory and Its Applications in Decision Making (Deadline: 31 March 2023)