1.  10
    Decidability of topological quasi-Boolean algebras.Yiheng Wang, Zhe Lin & Minghui Ma - 2024 - Journal of Applied Non-Classical Logics 34 (2):269-293.
    A sequent calculus S for the variety tqBa of all topological quasi-Boolean algebras is established. Using a construction of syntactic finite algebraic model, the finite model property of S is shown, and thus the decidability of S is obtained. We also introduce two non-distributive variants of topological quasi-Boolean algebras. For the variety TDM5 of all topological De Morgan lattices with the axiom 5, we establish a sequent calculus S5 and prove that the cut elimination holds for it. Consequently the decidability (...)
    Direct download (2 more)  
    Export citation