The following pages link to Szymon Chlebowski (Q897481):
Displaying 8 items.
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Synthetic tableaux: Minimal tableau search heuristics (Q2104533) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
- Automated Generation of Erotetic Search Scenarios (Q5278206) (← links)
