Local tabularity is decidable for bi-intermediate logics of trees and of co-trees

DOI10.1016/J.APAL.2025.103563MaRDI QIDQ7016858zbMATH OpenFDO

Authors Tommaso Moraschini

Publication date 6 March 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103563

zbMATH Keywords

(bi-)esakia spaces(bi-)Heyting algebras(bi-)intuitionistic logic(co-)treesdecidabilitylocal tabularity

Mathematics Subject Classification ID

Intermediate logics (03B55) Equational classes, universal algebra in model theory (03C05) Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Ordered topological structures (06F30)

Cites work

• A formalization of the propositional calculus of H-B logic
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• A propositional calculus with denumerable matrix
• A subdirectly irreducible double Heyting algebra which is not simple
• Algebraizable logics
• Applications of Kripke models to Heyting-Brouwer logic
• Bi-Heyting algebras, toposes and modalities
• Bi-intermediate logics of trees and co-trees
• Bi-simulating in bi-intuitionistic logic
• Bitopological duality for distributive lattices and Heyting algebras
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• Discriminator varieties of double-Heyting algebras
• Free L-algebras
• Heyting algebras with dual pseudocomplementation
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 19495 (Why is no real title available?)
• scientific article; zbMATH DE number 3632465 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• Logic with truth values in A linearly ordered heyting algebra
• On logics with coimplication
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Subdirectly irreducible double Heyting algebras
• Topos-based logic for quantum systems and bi-Heyting algebras

Cited in

(1)

• Trees and spectra of Heyting algebras

This page was built for publication: Local tabularity is decidable for bi-intermediate logics of trees and of co-trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7016858)