Dorota Leszczyńska-Jasion

Available identifiers

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	2020-10-15	Paper
Functional Completeness in CPL via Correspondence Analysis	2019-10-31	Paper
The Method of Socratic Proofs Meets Correspondence Analysis	2019-10-31	Paper
Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs	2019-06-24	Paper
Rasiowa-Sikorski deduction systems with the rule of cut: a case study	2019-06-19	Paper
Generating cooperative question-responses by means of erotetic search scenarios	2017-05-18	Paper
Inferential erotetic logic meets inquisitive semantics	2017-03-09	Paper
Erotetic search scenarios and three-valued logic	2016-07-04	Paper
Dual erotetic calculi and the minimal $\mathsf{LFI}$	2015-12-07	Paper
Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation	2015-09-17	Paper
Socratic trees	2013-12-05	Paper
A loop-free decision procedure for modal propositional logics K4, S4 and S5	2009-08-06	Paper
The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.	2009-03-17	Paper

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