The following pages link to Dorota Leszczyńska-Jasion (Q302227):
Displaying 15 items.
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- Socratic trees (Q383562) (← links)
- Inferential erotetic logic meets inquisitive semantics (Q514585) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- Synthetic tableaux: Minimal tableau search heuristics (Q2104533) (← links)
- A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation (Q2946739) (← links)
- Generating cooperative question-responses by means of erotetic search scenarios (Q2987728) (← links)
- An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs (Q5384363) (← links)
- Decidability of intuitionistic sentential logic with identity via sequent calculus (Q6659904) (← links)
