
Jaśkowski's 50 Memorial Symposium, Torun 1998
3) How do you see the evolution of paraconsistent logic? What are the
future challenges?
I think that paraconsistent logic is a very important tool for the formal examination of various aspects of people's statements made in "everyday life". Certainly, it can also be useful in the analysis of some philosophical issues. However, what seems to be the main challenge is the widespread use of paraconsistent logic. There are known applications of specific paraconsistent logics similar to those of fuzzy logic, but it seems that the future of the paraconsistent logic lies in even more widespread applications in decision systems, interface software, control systems (for example quality control system, machine control system), artificial intelligence, etc.
References:
1. "New axiomatizations of the weakest regular modal logic defining Jaśkowski's logic D2", Bulletin of the Section of Logic, vol. 38, no. 12 (2009), pp. 4550.
2. "Semantics for regular logics connected with Jaśkowski's D2", Bulletin of the Section of Logic, vol. 38, no. 3/4 (2009), pp. 173188.
3. "A method of generating modal logics defining Jaśkowski's discussive logic D2", Studia Logica, vol. 97, no. 1 (2011), pp. 161182 (special issue "The Legacy of Newton da Costa").
4. "On the weakest modal logics defining Jaśkowski's logic D2 and the D2consequence", Bulletin of the Section of Logic, vol. 41, no. 3/4 (2012), pp. 215232.
5. "On modal logics defining Jaśkowski's D2consequence", pages 141160 in K. Tanaka, F. Berto, E. Mares and F. Paoli (eds.), Paraconsistency: Logic and Applications, vol. 26 of series "Logic, Epistemology and the Unity of Science", Springer 2013 (2012).
6. "A method of generating modal logics defining Jaskowski's discussive D2consequence", pages 95123 in E. Weber, D. Wouters and J. Meheus (eds.), Logic, Reasoning, and Rationality, vol. 5 of series "Logic, Argumentation, and Reasoning", Springer 2014.
7. "Modal logics connected to Jaśkowski's logic D2", in JY. Béziau, A. Buchsbaum and A. Altair (eds.), Handbook of the 5th World Congress on Paraconsistency, Indian Statistical Institute, Kolkata 2014.
8. "On modal logics defining a Jaśkowskilike discussive logic", in JY. Béziau, A. Buchsbaum and A. Altair (eds.), Handbook of the 5th World Congress on Paraconsistency, Indian Statistical Institute, Kolkata 2014.
9. "Axiomatisations of minimal modal logics defining Jaśkowskilike discussive logics", pages 149163 in A. Indrzejczak, J. Kaczmarek and M. Zawidzki (eds.), "Trends in Logic XIII", Wydawnictwo Uniwersytetu Lódzkiego, Lódz 2014.
10. "On modal logics defining Jaśkowskilike discussive logics", pages 213228 in J.Y. Beziau, M. Chakraborty and S. Dutta (eds.), New Directions in Paraconsistent Logic, vol. 152 of series "Springer Proceedings in Mathematics & Statistics", Springer Indie, 2015.
11. "Modal logics defining Jaśkowski's and Jaśkowskilike discussive logics", pages 100104 in V.I. Markin (ed.), Desatye Smirnovskie ctenia po logike: Materialy mezdunarodnoj naucnoj konferencii, Moskva 2017.
