Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
From MaRDI portal
Publication:6375255
DOI10.1007/978-3-030-88701-8_8arXiv2108.06603MaRDI QIDQ6375255
Willem Conradie, Peter Jipsen, Valentin F. Goranko
Publication date: 14 August 2021
This page was built for publication: Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
