Aims
The Conference — devoted to non-classical logics — was initially held in Łódź in September 2008 and 2009. Later on, it was organized alternately in Toruń (2010, 2012, 2015, 2018) and Łódź (2011, 2013, 2016, 2022). The conference serves as a forum to exchange novel results effectively and to survey works in non-classical logics, broadly construed, and their applications.
In this year's, eleventh, edition of the Conference we particularly welcome submissions concerned with term-forming operators and formalisation of complex names, like definite descriptions, both with regard to their philosophical background and formal properties, as well as applications in mathematics and computer science (e.g., in databases or ontologies).
Scope
Topics of theoretical and applied interest including (but not limited to):
- many-valued logics,
- modal logics,
- non-monotonic logics,
- paraconsistent logics,
- plausible reasoning,
- substructural logics,
- contra-classical logics,
- relevant and connexive logics,
- description logics,
- proof theory,
- computational complexity of logics.
Cross-disciplinary submissions concerning logics in the context of:
- cognitive science,
- computer science,
- foundations of mathematics,
- philosophy of language,
- philosophy of mind
are also welcome.
Workshop on Connexive Logics
This year's edition of the Conference will be co-located with the 8th Workshop on Connexive Logics which will be held on 8th and 9th September 2024.
