On Sahlqvist formulas in relevant logic

From MaRDI portal
Publication:1670491