Scope of Submission
We welcome submissions from a broad range of disciplines, including but not limited to:
- Foundational issues in mathematical logic
- Set theory and its applications
- Model theory and its implications
- Proof theory in mathematical logic
- Applications of logic in computer science
- Philosophical implications of mathematical logic
- Non-classical logics and their applications
- Mathematical logic in artificial intelligence
- Computability theory and its applications
- Logic in mathematics education
- Applications of logic in linguistics
- Mathematical logic and formal systems
- Category theory and mathematical foundations
- Applications of logic in philosophy
- Fuzzy logic and its mathematical foundations
- Temporal logic in computer science
- Mathematical logic in game theory
- Recent trends in mathematical logic
- Applications of logic in cryptography
- Mathematical logic and its historical context
All papers must be original and not previously published or submitted elsewhere.
