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.

Download the presentation 2008 of Journal of Applied Non-classical Logics (32.4ko)