There are only countably many locally tabular bi-intermediate logics of co-trees

Miguel Martins

A bi-Heyting algebra validates the Gödel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees. Bi-Heyting algebras of this ki…