2 citations · 4 across the 7 of their papers we have counts for
28 papers
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano +3
Categorization of business processes is an important part of auditing. Large amounts of transnational data in auditing can be represented as transactions between financial accounts…
Subordination Algebras as Semantic Environment of Input/Output Logic
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic…
Unified inverse correspondence for DLE-Logics
Willem Conradie, Andrea De Domenico, Giuseppe Greco +3
By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and cano…
First order logic properly displayed
Samuel Balco, Giuseppe Greco, Alexander Kurz +3
We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style…
Syntactic completeness of proper display calculi
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cu…
Non-normal logics: semantic analysis and proof theory (extended version)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserv…