Dorota Leszczyńska-Jasion

MaRDI QIDQ302227zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Decidability of intuitionistic sentential logic with identity via sequent calculus	2025-01-09	Paper
Synthetic tableaux: Minimal tableau search heuristics	2022-12-07	Paper
An investigation into intuitionistic logic with identity Bulletin of the Section of Logic	2020-10-15	Paper
Functional Completeness in CPL via Correspondence Analysis Bulletin of the Section of Logic	2019-10-31	Paper
The method of Socratic proofs meets correspondence analysis Bulletin of the Section of Logic	2019-10-31	Paper
Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs Logic Journal of the IGPL	2019-06-24	Paper
Rasiowa-Sikorski deduction systems with the rule of cut: a case study Studia Logica	2019-06-19	Paper
Generating cooperative question-responses by means of erotetic search scenarios Logic and Logical Philosophy	2017-05-18	Paper
Inferential erotetic logic meets inquisitive semantics Synthese	2017-03-09	Paper
Erotetic search scenarios and three-valued logic Journal of Logic, Language and Information	2016-07-04	Paper
Dual erotetic calculi and the minimal \(\mathsf{LFI}\) Studia Logica	2015-12-07	Paper
Identifying efficient abductive hypotheses using multicriteria dominance relation ACM Transactions on Computational Logic	2015-09-17	Paper
Socratic trees Studia Logica	2013-12-05	Paper
A loop-free decision procedure for modal propositional logics K4, S4 and S5 Journal of Philosophical Logic	2009-08-06	Paper
The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. Studia Logica	2009-03-17	Paper

Research outcomes over time

This page was built for person: Dorota Leszczyńska-Jasion