- 1.6Impact Factor
- 22 daysTime to First Decision
Logic
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
Published Papers
Get Alerted
Add your email address to receive forthcoming issues of this journal.
Axioms - ISSN 2075-1680Creative Common CC BY license