26 citations · 62 across the 24 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
Logics for Rough Concept Analysis
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar +2
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal…
math.LO2018
Proper Multi-Type Display Calculi for Rough Algebras
Giuseppe Greco, Fei Liang, Krishna Manoorkar +1
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 algebras wi…