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
10 2023 A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean G Bezhanishvili, L Carai, P Morandi
Order, 1-31, 2022
6 2022 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 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
5 2023 DUALITY FOR POWERSET COALGEBRAS. G Bezhanishvili, L Carai, PJ Morandi
Logical Methods in Computer Science (LMCS) 18 (1), 2022
5 2022 Existentially closed Brouwerian semilattices L Carai, S Ghilardi
The Journal of Symbolic Logic 84 (4), 1544-1575, 2019
5 2019 Temporal interpretation of monadic intuitionistic quantifiers G Bezhanishvili, L Carai
The Review of Symbolic Logic 16 (1), 164-187, 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
3 2022 Coalgebras for the powerset functor and Thomason duality G Bezhanishvili, L Carai, P Morandi
arXiv preprint arXiv:2008.01849, 2020
3 2020 Failure of the Blok–Esakia Theorem in the monadic setting G Bezhanishvili, L Carai
Annals of Pure and Applied Logic 176 (4), 103527, 2025
2 2025 Failure of Esakia's theorem in the monadic setting G Bezhanishvili, L Carai
arXiv preprint arXiv:2409.05607, 2024
2 2024 MacNeille completions of subordination algebras M Abbadini, G Bezhanishvili, L Carai
Cah. Topol. Géom. Différ. Catég 65, 151-199, 2024
2 2024 A New Proof of the Joyal-Tierney Theorem G Bezhanishvili, L Carai, P Morandi
arXiv preprint arXiv:2304.12651, 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 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 Epimorphisms between finitely generated algebras L Carai, M Kurtzhals, T Moraschini
arXiv preprint arXiv:2402.14745, 2024
1 2024 Vietoris endofunctor for closed relations and its de Vries dual M Abbadini, G Bezhanishvili, L Carai
arXiv preprint arXiv:2308.16823, 2023
1 2023 De Vries powers and proximity Specker algebras G Bezhanishvili, L Carai, PJ Morandi, B Olberding
Applied Categorical Structures 31 (3), 24, 2023
1 2023 
silvio ghilardiUniversità degli Studi di MilanoAdresse e-mail validée de unimi.it
