Luca Carai

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 12

Top Topics

Modal Operators

Distributive Lattices

Top Venues

Appl. Categorical Struct.

Ann. Pure Appl. Log.

Bull. Symb. Log.

Publications

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi
-Inference Rules: interpolation, model completion, and contact algebras. Ann. Pure Appl. Log. 174 (1) (2023)
Guram Bezhanishvili, Luca Carai
Temporal Interpretation of Monadic Intuitionistic Quantifiers. Rev. Symb. Log. 16 (1) (2023)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. Order 40 (2) (2023)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding
De Vries Powers and Proximity Specker Algebras. Appl. Categorical Struct. 31 (3) (2023)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
The Vietoris functor and modal operators on rings of continuous functions. Ann. Pure Appl. Log. 173 (1) (2022)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Modal Operators on Rings of Continuous Functions. J. Symb. Log. 87 (4) (2022)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Duality for powerset coalgebras. Log. Methods Comput. Sci. 18 (1) (2022)
Luca Carai
New Directions in Duality Theory for Modal Logic. Bull. Symb. Log. 27 (4) (2021)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Free bounded archimedean ℓ-algebras. Appl. Categorical Struct. 29 (5) (2021)
Guram Bezhanishvili, Luca Carai
Temporal Interpretation of Intuitionistic Quantifiers. AiML (2020)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Coalgebras for the powerset functor and Thomason duality. CoRR (2020)
Luca Carai, Silvio Ghilardi
Existentially closed Brouwerian Semilattices. J. Symb. Log. 84 (4) (2019)