Szymon Chlebowski

Available identifiers

zbMath Open chlebowski.szymonMaRDI QIDQ897481

List of research outcomes

Publication	Date of Publication	Type
Synthetic tableaux: Minimal tableau search heuristics	2022-12-07	Paper
Natural deduction systems for intuitionistic logic with identity	2022-11-29	Paper
An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)	2022-03-23	Paper
An Investigation into Intuitionistic Logic with Identity	2020-10-15	Paper
Rasiowa-Sikorski deduction systems with the rule of cut: a case study	2019-06-19	Paper
Sequent calculi for \(\mathsf{SCI}\)	2018-08-06	Paper
Automated Generation of Erotetic Search Scenarios	2017-07-13	Paper
Dual erotetic calculi and the minimal \(\mathsf{LFI}\)	2015-12-07	Paper

Research outcomes over time

This page was built for person: Szymon Chlebowski