43 citations · 211 across the 9 of their papers we have counts for
3 papers · 1 filter
Rough concepts
Willem Conradie, Sabine Frittella, Krishna Manoorkar +4
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal…
Structural Multi-type Sequent Calculus for Inquisitive Logic
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano +1
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is…
Tool support for reasoning in display calculi
Samuel Balco, Sabine Frittella, Giuseppe Greco +2
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively…