The Journal of Applied Non-classical Logics
, published quarterly, is the key publication for the newest research in the field. Contributions from experts report on developments in the following areas:
- Formal aspect of non-classical formalisms: completeness, decidability, complexity.
- Applications of non-classical logics to AI and cognitive science: knowledge representation, automated reasoning, naturel language.
- Theoretical computer science: program verification, program synthesis.