I agree that this site is using cookies. You can find further informations here.
X
Bezhanishvili, N.
30  results:
Search for persons X
?
1

Diego's Theorem for nuclear implicative semilattices:

Bezhanishvili, G. ; Bezhanishvili, N. ; Carai, L....
Indagationes Mathematicae.  32 (2021)  2 - p. 498-535 , 2021
Link: https://doi.org/10.1016/..
 
?
2

Profiniteness and representability of spectra of Heyting al..:

Bezhanishvili, G. ; Bezhanishvili, N. ; Moraschini, T..
Advances in Mathematics.  391 (2021)  - p. 107959 , 2021
Link: https://doi.org/10.1016/..
 
?
3

Tree-like constructions in topology and modal logic:

Bezhanishvili, G. ; Bezhanishvili, N. ; Lucero-Bryan, J..
Archive for Mathematical Logic.  60 (2020)  3-4 - p. 265-299 , 2020
Link: https://doi.org/10.1007/..
 
?
4

A strict implication calculus for compact Hausdorff spaces:

Bezhanishvili, G. ; Bezhanishvili, N. ; Santoli, T..
Annals of Pure and Applied Logic.  170 (2019)  11 - p. 102714 , 2019
Link: https://doi.org/10.1016/..
 
?
5

A New Proof of the McKinsey–Tarski Theorem:

Bezhanishvili, G. ; Bezhanishvili, N. ; Lucero-Bryan, J..
Studia Logica.  106 (2018)  6 - p. 1291-1311 , 2018
Link: https://doi.org/10.1007/..
 
?
6

A New Proof of the McKinsey–Tarski Theorem:

Bezhanishvili, G. ; Bezhanishvili, N. ; Lucero-Bryan, J..
Studia Logica: An International Journal for Symbolic Logic.  106 (2018)  6 - p. 1291-1311 , 2018
Link: https://www.jstor.org/st..
 
?
7

Sahlqvist preservation for topological fixed-point logic:

Bezhanishvili, N. ; Sourabh, S.
Journal of Logic and Computation.  , 2015
Link: https://doi.org/10.1093/..
 
?
8

Modal compact Hausdorff spaces:

Bezhanishvili, G. ; Bezhanishvili, N. ; Harding, J.
Journal of Logic and Computation.  25 (2012)  1 - p. 1-35 , 2012
Link: https://doi.org/10.1093/..
 
?
9

Vietoris Bisimulations:

Bezhanishvili, N. ; Fontaine, G. ; Venema, Y.
Journal of Logic and Computation.  20 (2008)  5 - p. 1017-1040 , 2008
Link: https://doi.org/10.1093/..
 
?
10

Profinite Heyting Algebras:

Bezhanishvili, G. ; Bezhanishvili, N.
Order.  25 (2008)  3 - p. 211-227 , 2008
Link: https://doi.org/10.1007/..
 
?
11

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

Bezhanishvili N ; Carai L ; Ghilardi S.
info:eu-repo/semantics/altIdentifier/wos/WOS:000844079500006.  , 2023
Link: https://hdl.handle.net/2..
 
?
12

Bi-intermediate logics of trees and co-trees:

Bezhanishvili, N ; Martins, M ; Moraschini, T
http://arxiv.org/abs/2211.14776.  , 2022
Link: http://arxiv.org/abs/221..
 
?
13

Profiniteness and representability of spectra of Heyting al..:

Bezhanishvili, G ; Bezhanishvili, N ; Moraschini, T.
http://arxiv.org/abs/2103.02530.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

Diego's Theorem for nuclear implicative semilattices:

Bezhanishvili, G ; Bezhanishvili, N ; Carai, L...
info:eu-repo/semantics/altIdentifier/wos/WOS:000620841900009.  , 2020
Link: http://hdl.handle.net/24..
 
?
15

Stable canonical rules:

Iemhoff, R ; Bezhanishvili, N ; Bezhanishvili, Guram
0022-4812.  , 2016
Link: https://dspace.library.u..
 
1-15