Jump to content

Journal of Applied Non-Classical Logics

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 92.91.153.246 (talk) at 13:43, 17 November 2018. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Journal of Applied Non-Classical Logics
DisciplineNon-classical logic
LanguageEnglish
Publication details
History1991-present
Publisher
Standard abbreviations
ISO 4J. Appl. Non-Class. Log.
Indexing
ISSN1166-3081 (print)
1958-5780 (web)
Links

Journal of Applied Non-Classical Logics is a peer reviewed academic journal journal published in the United Kingdom by Taylor & Francis. It focusses on non-classical logic, in particular formal aspects (completeness, decidability, complexity), applications to artificial Intelligence and cognitive science (knowledge representation, automated reasoning, natural language processing), and theoretical computer science (program verification, program synthesis).

The journal was founded in 1991 by Luis Fariñas del Cerro, who was its editor-in-chief until 2014. Since 2015 the editor-in-chief is Andreas Herzig.