7 citations · 12 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Non-distributive positive logic as a fragment of first-order logic over semilattices
Jim de Groot
We characterise non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by a new notion of simulation called a meet-simulation. Me…
math.LO2022★ 7 cited
Positive Modal Logic Beyond Distributivity
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot +1
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic…