Peter Jipsen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Alessandra Palmigiano
9 publications
Apostolos Tzimoulis
9 publications
Willem Conradie
7 publications
Giuseppe Greco
6 publications
Krishna Manoorkar
6 publications
Tadeusz Litak
6 publications
Jaš Šemrl
5 publications
Valntin Goranko
1 publication

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...

0 Peter Jipsen, et al. ∙

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...

0 Willem Conradie, et al. ∙

research

∙ 11/17/2018

Logics for Rough Concept Analysis

Taking an algebraic perspective on the basic structures of Rough Concept...

0 Giuseppe Greco, et al. ∙

research

∙ 09/20/2017

An Algebraic Glimpse at Bunched Implications and Separation Logic

We overview the logic of Bunched Implications (BI) and Separation Logic ...

0 Peter Jipsen, et al. ∙