Journal of Applied Non-Classical Logics (JANCL)

Publisher : Taylor & Francis

classical or standard logics computer science philosophical logic

Claim Your Journal Get PRC Visit Website

e-ISSN 1958-5780

p-ISSN 1166-3081

Issue Frequency Quarterly

Impact Factor 1.3

Est. Year 1991

Mobile 4402080520500

DOI YES

Language English

APC YES

Impact Factor Assignee GOOGLE SCHOLAR

Email enquiries@taylorandfrancis.com

Journal Descriptions

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.

Journal of Applied Non-Classical Logics (JANCL) is :-

International, Peer-Reviewed, Open Access, Refereed, classical or standard logics, computer science, philosophical logic, mathematical logic, program verification, program synthesis, cognitive science , Online or Print , Quarterly Journal
UGC Approved, ISSN Approved: P-ISSN P-ISSN: 1166-3081, E-ISSN: 1958-5780, Established: 1991, Impact Factor: 1.3
Provides Crossref DOI
Not indexed in Scopus, WoS, DOAJ, PubMed, UGC CARE