Valntin Goranko
发表
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
pdf
Willem Conradie,
Peter Jipsen,
Valntin Goranko,
2021,
ArXiv.