Dr. Dorota Leszczyńska-Jasion

 

e-mail :  Dorota.Leszczynska[at]amu.edu.pl

See my project:

Distributive Deductive Systems

Education and degree:

2019: Post-doctoral degree (habilitation) in social science, on the basis of monograph From Questions to Proofs. Between the Logic of Questions and Proof Theory, published in September 2018, Poznań, by Faculty of Social Science Publishers, Adam Mickiewicz University.

2006: Ph.D. degree from University of Zielona Góra.
Doctoral dissertation: The Method of Socratic Proofs for Normal Modal Propositional Logics
Supervisor: prof. dr hab. Andrzej Wiśniewski
Referees: prof. dr hab. Jerzy Pogonowski (UAM), prof. dr hab. Tomasz Skura (UZ)

2003 — 2006: Ph.D. studies, Institute of Philosophy, University of Zielona Góra.
Supervisor: prof. dr hab. Andrzej Wiśniewski

2003: M.A. in Philosophy from University of Zielona Góra
M.A. thesis: Teza o niezdeterminowaniu przekładu z punktu widzenia uhistorycznionej filozofii nauki (The indeterminacy thesis in the account of the historical trend in the philosophy of science)
Supervisor: prof. dr hab. Wojciech Sady
Referee: prof. dr hab. Adam Grobler

1999 — 2003: M.A. studies,
Institute of Philosophy, University of Zielona Góra

Publications

Books

  • Dorota Leszczyńska-Jasion, “From Questions to Proofs. Between the Logic of Questions and Proof Theory”, Faculty of Social Science Publishers, Poznań 2018.  available on-line
  • Dorota Leszczyńska, “The Method of Socratic Proofs for Normal Modal Propositional Logics”, Adam Mickiewicz University Press, Poznań 2007.  {BibTeX}

Papers, research reports, proceedings (only in English)

  • Szymon Chlebowski, Dorota Leszczyńska-Jasion, “An Investigation into Intuitionistic Logic with Identity”, Bulletin of the Section of Logic, Volume 48, Issue 4, pages 259-283, 2019, DOI: https://doi.org/10.18778/0138-0680.48.4.02.
  • Dorota Leszczyńska-Jasion, Szymon Chlebowski, ”Synthetic Tableaux with Unrestricted Cut for First-Order Theories”, Axioms, Volume 8, Issue 4 (special issue Deductive Systems), December 2019.
  • Dorota Leszczyńska-Jasion, Yaroslav Petrukhin and Vasilyi Shangin, “The method of Socratic proofs meets correspondence analysis”, Bulletin of the Section of Logic, Volume 48, Issue 2, pages 99-116, 2019, DOI: http://dx.doi.org/10.18778/0138-0680.48.2.02.
  • Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, Marcin Jukiewicz, “Functional completeness in CPL via correspondence analysis”, Bulletin of the Section of Logic, Volume 48, Issue 1, pages 45-76, 2019, DOI: http://dx.doi.org/10.18778/0138-0680.48.1.04.
  • Dorota Leszczyńska-Jasion, Szymon Chlebowski, “Distributive Deductive Systems: the case of the First-Order Logic” in: “Proof Theory. Proceedings of the Workshop held at Unilog 2018 in Vichy, 25 June 2018”, editors: Thomas Piecha and Peter Schroeder-Heister, University of Tübingen 2018, pp. 31-46.  link
  • Dorota Leszczyńska-Jasion, Mateusz Ignaszak, Szymon Chlebowski, “Rasiowa-Sikorski deduction systems with the rule of cut. A case study”, Studia Logica, published on-line 09 April 2018, DOI https://doi.org/10.1007/s11225-018-9795-7.  link
  • Aleksandra Grzelak, Dorota Leszczyńska-Jasion, “Automatic proof generation in axiomatic system for CPL by means of the method of Socratic proofs”, Logic Journal of the IGPL, Volume 26, Issue 1, pages 109-148, DOI: 10.1093/jigpal/jzx057 , January 2018.  link
  • Dorota Leszczyńska-Jasion, “On certain generalizations of the concepts of erotetic implication and erotetic search scenario”, Research Report No 2(11)/2017, Department of Logic and Cognitive Science, IP AMU.  link
  • Dorota Leszczyńska-Jasion, Paweł Łupkowski, “Erotetic Search Scenarios and Three-Valued Logic”, Journal of Logic, Language and Information Volume 25 Issue 1, March 2016, pp.51-76 (published on-line 26.12.2015, DOI 1007/s10849-015-9233-4).  link
  • Szymon Chlebowski, Dorota Leszczyńska-Jasion, “Dual Erotetic Calculi and the Minimal LFI”, Studia Logica Vol 103, Issue 6, 2015, pp. 1245-1278 (published on-line 03.06.2015, DOI: 10.1007/s11225-015-9617-0).  link
  • Andrzej Wiśniewski, Dorota Leszczyńska-Jasion, “Inferential Erotetic Logic meets Inquisitive Semantics”, Synthese Volume 192, Issue 6 (Special Section on Logic of Questions edited by Y. Hamami and F. Roelofsen), pp. 1585-1608, 2015 (published on-line 08 April 2015, DOI:10.1007/s11229-013-0355-4).  link
  • Dorota Leszczyńska-Jasion, “Socratic Translations: the Case of Analytic Tableaux”, Research Report No 1(6)/2015, Department of Logic and Cognitive Science, IP AMU.
  • Paweł Łupkowski, Dorota Leszczyńska-Jasion, “Generating cooperative question-responses by means of erotetic search scenarios”, Logic and Logical Philosophy, Vol. 24, No. 1 March 2015 (published on-line 12.08.2014, DOI: 10.12775/LLP.2014.017), pp. 61-78.  link
  • Maciej Komosiński, Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański, “Identifying efficient abductive hypotheses using multi-criteria dominance relations”, ACM Transactions on Computational Logic, Vol. 15, Issue 4, 2014 (DOI: http://dx.doi.org/10.1145/2629669).  link
  • Andrzej Wiśniewski, Dorota Leszczyńska-Jasion, “Inferential Erotetic Logic meets Inquisitive Semantics. Research Report”, Research Report No 2(2)/2013, Department of Logic and Cognitive Science, IP AMU.  link
  • Dorota Leszczyńska-Jasion, “Erotetic Search Scenarios as families of sequences and Erotetic Search Scenarios as trees: two different, yet equal accounts”, Research Report No 1(1)/2013, Department of Logic and Cognitive Science, IP AMU.  link
  • Dorota Leszczyńska-Jasion, Mariusz Urbański, Andrzej Wiśniewski, „Socratic Trees”, Studia Logica, Vol. 101, No. 5, 2013, pp. 959-986.  link
  • Dorota Leszczyńska-Jasion, „The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4M, S4F, S4R and G”, Studia Logica, Vol. 89, No. 3, 2008, pp. 371-405.  link
  • Dorota Leszczyńska, „A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5”, Journal of Philosophical Logic, Vol. 38, No. 2, 2009, pp. 151-177.  link
  • Andrzej Wiśniewski, Guido Vanackere, Dorota Leszczyńska, „Socratic Proofs and Paraconsistency: A Case Study”, Studia Logica, Vol. 80, No. 2-3, 2005, pp. 433-468.  link
  • Dorota Leszczyńska, „Socratic Proofs for some Normal Modal Propositional Logics”, Logique et Analyse, Vol. 47, No. 185-188, 2004, pp. 259-285.  link

Entries in encylopedias

  • “Towards an Encyclopaedia of Proof Systems” edited by Bruno Woltzenlogel Paleo, College Publications, London, UK, January 2017, first edition (ISBN 978-1-84890-233-6), entries titled:
    • “Synthetic Tableaux”, p. 43,
    • “Socratic Proofs for CPL”, p. 49,
    • “Socratic Proofs for FOL”, p. 50,
    • “Socratic Proofs for Modal Propositional K”, p. 51,
    • “Socratic Proofs for Modal Propositional Logics”, p. 52,
    • “Erotetic Dual Resolution for Classical Propositional Logic”, p. 76,
    • “Erotetic Dual Resolution for mbC”, p. 77.

Conferences and talks (in English):

  • Socratic Proofs for some modal propositional calculi, 8th Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science, Zielona Góra Poland, November 20-22, 2003
  • Socratic Proofs for Normal Modal Logics: A Right-sided Approach, VlaPoLo9 – International Workshop „Patterns of Scientific Reasoning: Adaptive and Interrogative Perspectives”, Ghent University, May 6-8, 2004
  • Loop-free decision procedure for modal logics K4, S4 and S5 formulated within the framework of the method of Socratic proofs, Trends in Logic IV: „Towards Mathematical Philosophy”, Toruń Poland, September 1-4, 2006
  • Theorem-Prover for Propositional Modal Logics Based on the Method of Socratic Proofs, 2nd Polish and International PD Forum-Conference on Computer Science, Smardzewice-Łódź Poland, October 16-19, 2006
  • (together with Mariusz Urbański and Andrzej Wiśniewski) Socratic Trees, 4th Conference: Nonclassical Logics. Theory and Applications, Łódź Poland, September 27-29, 2011
  • (together with Paweł Łupkowski) Three-Valued Inferential Erotetic Logic and its Applications, IS meets IEL (conference “Inquisitive Semantics meets Inferential Erotetic Logic”), Poznań Poland, April 18-19, 2013
  • (together with Paweł Łupkowski) Erotetic Search Scenarios and Three-Valued Logic, LoQI (“Logic, Questions and Inquiry. A conference on Hintikka’s Interogative Model of Inquiry”), Paris, May 30 — June 01, 2013
  • (together with Adam Kupś) Identifying efficient abductive hypotheses using multi-criteria dominance relations: the classical and the modal case, Conference “Explanation and Abduction. Logico-Philosophical Perspectives”, Ghent, May 7-8, 2015
  • (together with Adam Kupś) The Method of Syntetic Tableaux: proof-theoretical characterization, applications and extensions to some non-classical logics, conference “Non-Classical Logics. Theory and Applications”, Toruń Poland, September 24-26, 2015
  • (together with Adam Kupś) The Method of Synthetic Tableaux for Modal Logics, conference “Non-Classical Logics. Theory and Applications”, Toruń Poland, September 24-26, 2015
  • (together with Andrzej Wiśniewski and Paweł Łupkowski) Old and New Logical Themes at DLCS, conference “Logical and Methodological Analysis of Scientific Reasoning Processes” organized by Centre for Logic and Philosophy of Science of Ghent University, Ghent, May 12-13, 2016
  • Synthetic Tableaux with Unrestricted Cut for First-Order Logic, 22nd Conference “Applications of Logic in Philosophy and the Foundations of Mathematics”, Szklarska Poręba Poland, May 8-12, 2017
  • (together with Mateusz Ignaszak) Dual Erotetic Version of System KE, 22nd Conference “Applications of Logic in Philosophy and the Foundations of Mathematics”, Szklarska Poręba Poland, May 8-12, 2017
  • Polish trends in the logic of questions, 6th World Congress and School on Universal Logic, Vichy France, June 21-26, 2018
  • (together with Szymon Chlebowski) Distributive Deductive Systems: the case of the First-Order Logic, 6th World Congress and School on Universal Logic, Vichy France, June 21-26, 2018
  • (together with Szymon Chlebowski) Synthetic Tableaux for Propositional Intuitionistic Logic, “Applications of Algebra in Logic and Computer Science”, Zakopane Poland, March 11-17, 2019
  • On a Multiple-Conclusion Consequence Relation for Classical Logic, 24th Conference „Applications of Logic in Philosophy and the Foundations of Mathematics”, Szklarska Poręba Poland, May 13-17, 2019
  • (together with: Yaroslav Petrukhin, Vasilyi Shangin, Marcin Jukiewicz) Socratic proofs in correspondence analysis framework, Conference “11th Smirnov Readings in Logic”, Moscow Russia, June 19-21, 2019

Scholarships:

Foundation for Polish Science Scholarship (as a part of prof. A. Wiśniewski’s FPS Award), September 2002 — June 2004

Foundation for Polish Science Scholarship START, 2013

Grants and scientific projects:

  • Principal investigator, Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods, project funded by Polish National Science Centre, grant no. 2017/26/E/HS1/00127
  • Researcher, Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications
    Project funded by the National Science Centre; coordinator: prof. dr Andrzej Wiśniewski, 2013-2017
  • Researcher, Inferential Erotetic Logic and Problem-solving Scenarios
    Project funded by the Foundation for Polish Science; coordinator: prof. dr Andrzej Wiśniewski
  • Researcher, A formal study of topics from the philosophy of science, especially in terms of adaptive and erotetic logic and of their combination
    Project funded jointly by Ministry of the Flemish Community (Belgium) and State Committee for Scientific Research (Poland); coordinators: prof. dr Erik Weber and prof. dr Adam Grobler
  • Researcher, Logical and methodological aspects of research procedures
    Project funded by the University of Zielona Góra; coordinators: prof. dr Andrzej Wiśniewski and prof. dr Wojciech Sady