research
∙
01/05/2023
Representable and diagonally representable weakening relation algebras
A binary relation defined on a poset is a weakening relation if the part...
share
research
∙
08/14/2021
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
The non-deterministic algorithmic procedure PEARL (an acronym for `Propo...
research
∙
11/17/2018
Logics for Rough Concept Analysis
Taking an algebraic perspective on the basic structures of Rough Concept...
research
∙
09/20/2017