| 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 | 7 | 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 | 6 | 2022 |
| DUALITY FOR POWERSET COALGEBRAS. G Bezhanishvili, L Carai, PJ Morandi Logical Methods in Computer Science (LMCS) 18 (1), 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 |
| Existentially closed Brouwerian semilattices L Carai, S Ghilardi The Journal of Symbolic Logic 84 (4), 1544-1575, 2019 | 4 | 2019 |
| 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 |
| 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 |
| Failure of the Blok-Esakia Theorem in the monadic setting G Bezhanishvili, L Carai arXiv preprint arXiv:2405.09401, 2024 | 1 | 2024 |
| Epimorphisms between finitely generated algebras L Carai, M Kurtzhals, T Moraschini arXiv preprint arXiv:2402.14745, 2024 | 1 | 2024 |
| MacNeille completions of subordination algebras M Abbadini, G Bezhanishvili, L Carai Cah. Topol. Géom. Différ. Catég 65, 151-199, 2024 | 1 | 2024 |
| De Vries powers and proximity Specker algebras G Bezhanishvili, L Carai, PJ Morandi, B Olberding Applied Categorical Structures 31 (3), 24, 2023 | 1 | 2023 |
| A New Proof of the Joyal-Tierney Theorem G Bezhanishvili, L Carai, P Morandi arXiv preprint arXiv:2304.12651, 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 |
silvio ghilardiUniversità degli Studi di Milano在 unimi.it 的电子邮件经过验证
