The Journal of Applied Non-Classical Logics (JANCL) is a world-leading journal at the intersection of computer science, philosophical logic, and mathematical logic. There is a focus on applications in all topics that deviate from classical or standard logics, although theoretical papers of a high quality will also be considered.
Topics covered include, but are not limited to, the following:
• Formal aspects of non-classical formalisms: completeness, decidability, complexity.
• Applications of non-classical logics to Artificial Intelligence (AI) and cognitive science: knowledge representation, automated reasoning, natural language processing.
• Theoretical computer science: program verification, program synthesis.
JANCL therefore encourages original submissions in these and related areas. Proposals for special issues in cutting-edge areas are encouraged, and should be discussed with the Editor-in-Chief.
All submitted manuscripts are subject to initial appraisal by the Editor-in-Chief, and, if found suitable for further consideration, to rigorous and rapid peer review by independent, anonymous expert referees. All peer review is single blind and submission is online via Editorial Manager.
Queries regarding submissions can be made by contacting the Editor-in-Chief, whose decision is final.
Ethical publishing
Taylor & Francis is a member of the Committee of Publications Ethics (COPE) . Taylor & Francis is committed to peer review integrity and upholding the highest standards of review in our journals. To help us maintain these high standards, we provide guidelines for ethical publishing. Click here for more details.
Digital preservation
Taylor & Francis Group acknowledges that the long term preservation of its electronic content is of critical importance and that it has a significant role to play to ensure its content is available and accessible over time. Taylor & Francis Group has an archival strategy in place that provides for the deposit of its electronic source files into an acceptable non-profit third party archive, including Portico and LOCKSS, so that our content will be actively preserved and available in the event it is no longer offered by Taylor & Francis Group or a successor.
We are also participants in the CLOCKSS pilot project. In addition, an agreement with the Dutch National Library has been signed to protect the future of our Online Archive.
