Abstract
We show that for an arbitrary logic being locally tabular is a strictly weaker property than being locally finite. We describe our hunt for a logic th......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
