7 citations · 8 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
Bi-intermediate logics of trees and co-trees
N. Bezhanishvili, M. Martins, T. Moraschini
A bi-Heyting algebra validates the Gödel-Dummett axiom iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-H…
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…