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 …

In this paper, we generalize the basic notions and results of Dempster-Shafer theory from
predicates to formal concepts. Results include the representation of conceptual belief …

The present paper establishes systematic connections among the first-order correspondents
of Sahlqvist modal reduction principles in various relational semantic settings, including …

A recent strand of research in structural proof theory aims at exploring the notion of analytic
calculi (ie, those calculi that support general and modular proof-strategies for cut …

As an important expanded of the classical formal concept, the three-way formal concept
analysis integrates more information with the three-way decision theory. However, to the …

In this article, we extend the research programme in algebraic proof theory from axiomatic
extensions of the full Lambek calculus to logics algebraically captured by certain varieties of …

In the present paper, we endow the logics of topological quasi Boolean algebras,
topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough …

We introduce sound and complete labelled sequent calculi for the basic normal non-
distributive modal logic and some of its axiomatic extensions, where the labels are atomic …

By 'informational entropy', we understand an inherent boundary to knowability, due eg to
perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a logical …

We introduce a complete many-valued semantics for basic normal lattice-based modal logic.
This relational semantics is grounded on many-valued formal contexts from Formal Concept …