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

&
Annals of Pure and Applied Logic 176 (5):103563 (2025)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2025.103563

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,319

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bi-intermediate logics of trees and co-trees.Nick Bezhanishvili, Miguel Martins & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (10):103490.
Club isomorphisms on higher Aronszajn trees.John Krueger - 2018 - Annals of Pure and Applied Logic 169 (10):1044-1081.
Souslin trees and successors of singular cardinals.Shai Ben-David & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 30 (3):207-217.
A large pairwise far family of Aronszajn trees.John Krueger - 2023 - Annals of Pure and Applied Logic 174 (4):103236.
The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation.Peter Dybjer & Denis Kuperberg - 2012 - Annals of Pure and Applied Logic 163 (2):122-131.
Borel ideals vs. Borel sets of countable relations and trees.Samy Zafrany - 1989 - Annals of Pure and Applied Logic 43 (2):161-195.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.
Unification types and union splittings in intermediate logics.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2025 - Annals of Pure and Applied Logic 176 (1):103508.
On intermediate inquisitive and dependence logics: An algebraic study.Davide Emilio Quadrellaro - 2022 - Annals of Pure and Applied Logic 173 (10):103143.

Analytics

Added to PP
2025-02-18

Downloads
2 (#1,915,962)

6 months
2 (#1,358,733)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.

View all 12 references / Add more references