research
∙
10/31/2022
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory
Categorization of business processes is an important part of auditing. L...
share
research
∙
03/17/2022
Unified inverse correspondence for DLE-Logics
By exploiting the algebraic and order theoretic mechanisms behind Sahlqv...
research
∙
02/02/2022
Modal reduction principles across relational semantics
The present paper establishes systematic connections among the first-ord...
research
∙
02/23/2021
Syntactic completeness of proper display calculi
A recent strand of research in structural proof theory aims at exploring...
research
∙
11/05/2020
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Focused sequent calculi are a refinement of sequent calculi, where addit...
research
∙
08/14/2019
Toward a Dempster-Shafer theory of concepts
In this paper, we generalize the basic notions and results of Dempster-S...
research
∙
06/30/2019
Rough concepts
The present paper proposes a novel way to unify Rough Set Theory and For...
research
∙
11/17/2018
Logics for Rough Concept Analysis
Taking an algebraic perspective on the basic structures of Rough Concept...
research
∙
07/27/2017