{"id":"arxiv/2602.21960","url":"https://arxiv.org/abs/2602.21960","tags":["math.LO"],"score":0,"title":"There are only countably many locally tabular bi-intermediate logics of co-trees","domain":"math.LO","source":"arxiv","authors":["Miguel Martins"],"reviews":0,"subject":"math.LO","summary":"A bi-Heyting algebra validates the Gödel-Dummett axiom $(p \\to q) \\lor (q \\to p)$ iff the poset of its prime filters is a disjoint union of co-trees. Bi-Heyting algebras of this kind are called bi-Gödel algebras and form a variety $\\operatorname{\\mathsf{bi-GA}}$ that algebraizes the extension $\\operatorname{\\mathsf{bi-GD}}$ of bi-intuitionistic logic axiomatized by the Gödel-Dummett axiom. In this paper we show that there are only countably many locally tabular bi-intermediate logics of co-trees, all of which are finitely axiomatizable. The theory of canonical formulas of bi-Gödel algebras…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-25","reactions":{}}