1 citations · 2 across the 8 of their papers we have counts for
1 paper · 1 filter
Chrysafis, Hartonas
Recent published work has addressed the Shalqvist correspondence problem for non-distributive logics. The natural question that arises is to identify the fragment of first-order lo…