Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras N Bezhanishvili, L Carai, S Ghilardi, L Landi
Annals of Pure and Applied Logic 174 (1), 103169, 2023
9 2023 Diego’s theorem for nuclear implicative semilattices G Bezhanishvili, N Bezhanishvili, L Carai, D Gabelaia, S Ghilardi, ...
Indagationes Mathematicae 32 (2), 498-535, 2021
6 2021 A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ -Algebras G Bezhanishvili, L Carai, P Morandi
Order, 1-31, 2022
5 2022 A generalization of de Vries duality to closed relations between compact Hausdorff spaces M Abbadini, G Bezhanishvili, L Carai
Topology and its Applications 337, 108641, 2023
4 2023 Modal operators on rings of continuous functions G Bezhanishvili, L Carai, PJ MORANDI
The Journal of Symbolic Logic 87 (4), 1322-1348, 2022
4 2022 The Vietoris functor and modal operators on rings of continuous functions G Bezhanishvili, L Carai, PJ Morandi
Annals of Pure and Applied Logic 173 (1), 103029, 2022
4 2022 Existentially closed Brouwerian semilattices L Carai, S Ghilardi
The Journal of Symbolic Logic 84 (4), 1544-1575, 2019
4 2019 DUALITY FOR POWERSET COALGEBRAS. G Bezhanishvili, L Carai, PJ Morandi
Logical Methods in Computer Science (LMCS) 18 (1), 2022
3 2022 Coalgebras for the powerset functor and Thomason duality G Bezhanishvili, L Carai, P Morandi
arXiv preprint arXiv:2008.01849, 2020
3 2020 Temporal interpretation of monadic intuitionistic quantifiers G Bezhanishvili, L Carai
The Review of Symbolic Logic 16 (1), 164-187, 2023
2 2023 Ideal and MacNeille completions of subordination algebras M Abbadini, G Bezhanishvili, L Carai
arXiv preprint arXiv:2211.02974, 2022
2 2022 Free bounded archimedean -algebras G Bezhanishvili, L Carai, PJ Morandi
Applied Categorical Structures 29 (5), 879-888, 2021
2 2021 Temporal interpretation of intuitionistic quantifiers: Monadic case G Bezhanishvili, L Carai
arXiv preprint arXiv:2009.00218, 2020
2 2020 De Vries powers and proximity Specker algebras G Bezhanishvili, L Carai, PJ Morandi, B Olberding
Applied Categorical Structures 31 (3), 24, 2023
1 2023 New directions in duality theory for modal logic L Carai
New Mexico State University, 2021
1 2021 A temporal interpretation of intuitionistic quantifiers G Bezhanishvili, L Carai
TACL 2019, 55, 2019
1 2019 Epimorphisms between finitely generated algebras L Carai, M Kurtzhals, T Moraschini
arXiv preprint arXiv:2402.14745, 2024
2024 A calculus for modal compact Hausdorff spaces N Bezhanishvili, L Carai, S Ghilardi, Z Zhao
arXiv preprint arXiv:2402.00528, 2024
2024 A frame-theoretic perspective on Esakia duality G Bezhanishvili, L Carai, PJ Morandi
Algebra universalis 84 (4), 30, 2023
2023 Baker-Beynon duality beyond semisimplicity L Carai, S Lapenta, L Spada
arXiv preprint arXiv:2310.13427, 2023
2023