E-LIB Suche - Ergebnisse für: CARAI, LUCA

1

A generalization of de Vries duality to closed relations be..:

Abbadini, Marco ; Bezhanishvili, Guram ; Carai, Luca
Topology and its Applications. 337 (2023) - p. 108641 , 2023

Link: https://doi.org/10.1016/..

2

Admissibility of Π2-Inference Rules: interpolation, model c..:

Bezhanishvili, Nick ; Carai, Luca ; Ghilardi, Silvio.
Annals of Pure and Applied Logic. 174 (2023) 1 - p. 103169 , 2023

Link: https://doi.org/10.1016/..

3

Duality for powerset coalgebras:

Bezhanishvili, Guram ; Carai, Luca ; Morandi, Patrick
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

4

New Directions in Duality Theory for Modal Logic:

Carai, Luca
The Bulletin of Symbolic Logic. 27 (2021) 4 - p. 527-527 , 2021

Link: https://doi.org/10.1017/..

5

MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS:

BEZHANISHVILI, GURAM ; CARAI, LUCA ; MORANDI, PATRICK J.
The Journal of Symbolic Logic. 87 (2021) 4 - p. 1322-1348 , 2021

Link: https://doi.org/10.1017/..

6

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIE..:

BEZHANISHVILI, GURAM ; CARAI, LUCA
The Review of Symbolic Logic. 16 (2021) 1 - p. 164-187 , 2021

Link: https://doi.org/10.1017/..

7

Characterization of metrizable Esakia spaces via some forbi..:

Bezhanishvili, Guram ; Carai, Luca
Algebra universalis. 80 (2019) 4 - p. , 2019

Link: https://doi.org/10.1007/..

8

EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES:

CARAI, LUCA ; GHILARDI, SILVIO
The Journal of Symbolic Logic. 84 (2019) 4 - p. 1544-1575 , 2019

Link: https://doi.org/10.1017/..

9

EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES:

CARAI, LUCA ; GHILARDI, SILVIO
The Journal of Symbolic Logic. 84 (2019) 4 - p. 1544-1575 , 2019

Link: https://www.jstor.org/st..

10

A calculus for modal compact Hausdorff spaces:

Bezhanishvili, Nick ; Carai, Luca ; Ghilardi, Silvio.
http://arxiv.org/abs/2402.00528. , 2024

Link: http://arxiv.org/abs/240..

11

Vietoris endofunctor for closed relations and its de Vries ..:

Abbadini, Marco ; Bezhanishvili, Guram ; Carai, Luca
http://arxiv.org/abs/2308.16823. , 2023

Link: http://arxiv.org/abs/230..

12

Heyting frames and Esakia duality:

Bezhanishvili, Guram ; Carai, Luca ; Morandi, Patrick
http://arxiv.org/abs/2302.07913. , 2023

Link: http://arxiv.org/abs/230..

13

Baker-Beynon duality beyond semisimplicity:

Carai, Luca ; Lapenta, Serafina ; Spada, Luca
http://arxiv.org/abs/2310.13427. , 2023

Link: http://arxiv.org/abs/231..

14

Temporal interpretation of monadic intuitionistic quantifie..:

BEZHANISHVILI, GURAM ; CARAI, LUCA
info:eu-repo/semantics/altIdentifier/wos/WOS:000745729200001. , 2023

Link: https://hdl.handle.net/2..

15

A New Proof of the Joyal-Tierney Theorem:

Bezhanishvili, Guram ; Carai, Luca ; Morandi, Patrick
http://arxiv.org/abs/2304.12651. , 2023

Link: http://arxiv.org/abs/230..