3 papers
math.LO2026
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 iff the poset of its prime filters is a disjoint union of co-trees. Bi-Heyting algebras of this k…
math.LO2024
Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
Miguel Martins, Tommaso 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-…
math.LO2024
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-…