25 citations · 54 across the 24 of their papers we have counts for
28 papers
A classification of four-tuples of spinors of a ten dimensional space
Willem de Graaf, Alexander Elashvili, Mamuka Jibladze
We use the theory of theta-groups developed by Vinberg, along with computations in the computer algebra system GAP4, to classify the orbits of Spin(10,C)x SL(4,C) acting on the ten…
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +5
The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral mo…
An explicit Kuznetsov-Muravitsky enrichment
Mamuka Jibladze, Evgeny Kuznetsov
An embedding of arbitrary Heyting algebra H into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to…
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +4
In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplici…
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions…
Normal forms of nilpotent elements in semisimple Lie algebras
Mamuka Jibladze, Victor G. Kac
We find the normal form of nilpotent elements in semisimple Lie algebras that generalizes the Jordan normal form in , using the theory of cyclic elements.