Follow
Luca Carai
Luca Carai
Junior assistant professor (RTDA), Università degli Studi di Milano
Verified email at unimi.it
Title
Cited by
Cited by
Year
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
92023
Diego’s theorem for nuclear implicative semilattices
G Bezhanishvili, N Bezhanishvili, L Carai, D Gabelaia, S Ghilardi, ...
Indagationes Mathematicae 32 (2), 498-535, 2021
62021
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ -Algebras
G Bezhanishvili, L Carai, P Morandi
Order, 1-31, 2022
52022
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
42023
Modal operators on rings of continuous functions
G Bezhanishvili, L Carai, PJ MORANDI
The Journal of Symbolic Logic 87 (4), 1322-1348, 2022
42022
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
42022
Existentially closed Brouwerian semilattices
L Carai, S Ghilardi
The Journal of Symbolic Logic 84 (4), 1544-1575, 2019
42019
DUALITY FOR POWERSET COALGEBRAS.
G Bezhanishvili, L Carai, PJ Morandi
Logical Methods in Computer Science (LMCS) 18 (1), 2022
32022
Coalgebras for the powerset functor and Thomason duality
G Bezhanishvili, L Carai, P Morandi
arXiv preprint arXiv:2008.01849, 2020
32020
Temporal interpretation of monadic intuitionistic quantifiers
G Bezhanishvili, L Carai
The Review of Symbolic Logic 16 (1), 164-187, 2023
22023
Ideal and MacNeille completions of subordination algebras
M Abbadini, G Bezhanishvili, L Carai
arXiv preprint arXiv:2211.02974, 2022
22022
Free bounded archimedean -algebras
G Bezhanishvili, L Carai, PJ Morandi
Applied Categorical Structures 29 (5), 879-888, 2021
22021
Temporal interpretation of intuitionistic quantifiers: Monadic case
G Bezhanishvili, L Carai
arXiv preprint arXiv:2009.00218, 2020
22020
De Vries powers and proximity Specker algebras
G Bezhanishvili, L Carai, PJ Morandi, B Olberding
Applied Categorical Structures 31 (3), 24, 2023
12023
New directions in duality theory for modal logic
L Carai
New Mexico State University, 2021
12021
A temporal interpretation of intuitionistic quantifiers
G Bezhanishvili, L Carai
TACL 2019, 55, 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–20