Bi-intermediate logics of trees and co-trees

, &
Annals of Pure and Applied Logic 175 (10):103490 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103490

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,197

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

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.
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.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.
Borel ideals vs. Borel sets of countable relations and trees.Samy Zafrany - 1989 - Annals of Pure and Applied Logic 43 (2):161-195.
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.
Monadic logic and löwenheim numbers.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 28 (2):203-216.
On intermediate inquisitive and dependence logics: An algebraic study.Davide Emilio Quadrellaro - 2022 - Annals of Pure and Applied Logic 173 (10):103143.
Combinatorial problems on trees: partitions, DELTA-systems and large free subtrees.M. Rubin - 1987 - Annals of Pure and Applied Logic 33 (1):43.

Analytics

Added to PP
2024-07-03

Downloads
9 (#1,441,339)

6 months
9 (#700,914)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nick Bezhanishvili
University of Amsterdam

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 15 references / Add more references