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 anonymized 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.
Founding Editor
Luis Fariñas del Cerro
Editor-in-Chief
Andreas Herzig
Journal Administrator
Dominique Longin
Université de Toulouse, CNRS
Institut de Recherche en Informatique de Toulouse (IRIT)
Equipe LILaC, 118, route de Narbonne
31062 Toulouse cedex 9, France
e-mail: [email protected]
Editorial Board
Franz Baader
Theoretical Computer Science,
TU Dresden, 01062 Dresden, Germany
[email protected]
Walter Carnielli
CLE – UNICAMP, PO Box 6133,
13083-970 Campinas -SP, Brazil
[email protected]
Roberto Cignoli
Dep. de Matemática, Facultad de Ciencias Exactas
y Naturakes, Uni.de Buenos Aires, 1418 Buenos Aires, Argentina
[email protected]
Newton da Costa
Depart. de Filosofia, Av. Prof. Gualberto,
315 - Sala: 1005, 05508-090,
Cicade Univ. São Paulo-SP, Brazil
[email protected]
Didier Dubois
IRIT, 118 route de Narbonne,
31062 Toulouse cedex 9, France
[email protected]
Kit Fine
New York University,
NY 10003, USA
[email protected] Dov Gabbay
Dep. Computer Science, King's College London,
Strand, London WC2R 2LS, UK
[email protected]
Fausto Giunchiglia
Department of Information and Communication,
Univ. of Trento, 38050, Povo di Trento, Italy
[email protected]
Valentin Goranko
Department of Philosophy, Stockholm University,
SE - 10691 Stockholm
Sweden
[email protected]
Marcus Kracht
Universität Bielefeld, Fakultät Linguistik und Literaturwissenschaft,
Postfach 10 01 31, D-33501 Bielefeld, Germany
[email protected]
Yves Lesperance
Dep. of Computer Science, York University,
4700 Keele St., Toronto ON M3J 1P3, Canada
[email protected]
Itala M. Loffredo d’Ottaviano
CLE - UNICAMP, PO Box 6133,
13083-970 Campinas, SP, Brazil
[email protected]
David Makinson
London Schools of Economics and Political Science,
Dept of Philosophy, Logic and Scientific Method,
Houghton Street, London WC2A 2AE, UK
[email protected]
Fabio Massacci
Facolta di Indedneria, Univ. di Trento, Dip. Informatica e Telecom.,
Via Sommarive 14, 38050 Povo di Trento, Italy
[email protected]
Stephan Merz
Inria Lorraine, Loria, 615 rue du Jardin Botanique,
54602 Villers-lès-Nancy, France
[email protected]
J.J. Meyer
Universiteit Utrecht, Inst. of Information & Computing Science,
PO Box 80.089, 3508TB, Utrecht, The Netherlands
[email protected]
Vilem Novak
Univ. of Ostrava, Inst. for Research & Appl. of Fuzzy Modeling,
30 dubna 22, 701.03 Ostrava 1, Czech Republic
[email protected]
Ewa Orlowska
National Institute of Telecommunications ul. Szachowa 1,
04-894 Warsaw, Poland
[email protected]
David Pearce
Clip Group, Dept Artificial Intelligence, Universidad Politécnica de Madrid,
28660 Boadilla de Monte, Madrid, Spain
[email protected]
Peter Patel-Schneider
Bell Labs Research, Alcatel Lucent, 600 Mountain Ave.,
Muray Hill, NJ 07974 , USA
Henri Prade
IRIT, 118 route de Narbonne,
31062 Toulouse Cedex 9, France
[email protected]
Erik Sandewall
Dept of Computer and Inf. Science,
Linköping Univ., S-58183 Linköping, Sweden
[email protected]
Renate Schmidt
Dept of Comp. Science, University of Manchester,
Oxford Rd, Manchester M13 9PL, UK
[email protected]
Krister Segerberg
Filosofiska inst., Uppsala Universitet,
Drottninggatan 4, 753 10 Uppsala, Sweden
[email protected]
Valentin Shehtman
Institute of Information Transmission Problems,
Russian Academy of Sciences, B. Karetny 19 - 127994,
Moscow, Russia
Dimiter Vakarelov
Dept of Math. Logic - Faculty of Maths & Computer Science,
Sofia University, bd James Boucher 5, 1126 Sofia, Bulgaria
[email protected]
Journal of Applied Non-Classical Logics is a hybrid open access journal that is part of our Open Select publishing program, giving you the option to publish open access. Publishing open access means that your article will be free to access online immediately on publication, increasing the visibility, readership, and impact of your research.
If you choose to publish open access in this journal you may be asked to pay an Article Publishing Charge (APC). You may be able to publish your article at no cost to yourself or with a reduced APC if your institution or research funder has an open access agreement or membership with Taylor & Francis.
![Sample our Computer Science journals, sign in here to start your access, latest two full volumes FREE to you for 14 days]({"type":"image" , "src" : "/sda/110808/Subject-Sample-2021-Computer-Science.jpg"})