Mamuka Jibladze

According to our database, Mamuka Jibladze authored at least 10 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_η.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2022

A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras.

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

J. Math. Log., 2022

2019

Compact Hausdorff Spaces with Relations and Gleason Spaces.

Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze

Appl. Categorical Struct., 2019

2017

An Axiomatization of the d-logic of Planar Polygons.

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

2016

Admissible Bases Via Stable Canonical Rules.

Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

Stud Logica, 2016

2013

Funayama's theorem revisited.

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2011

An Algebraic Approach to Subframe Logics. Modal Case.

Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze

Notre Dame J. Formal Log., 2011

2004

The Steenrod Algebra and Theories Associated to Hopf Algebras.

Hans-Joachim Baues, Mamuka Jibladze

Appl. Categorical Struct., 2004

2000

Scattered Toposes.

Leo Esakia, Mamuka Jibladze, Dito Pataraia

Ann. Pure Appl. Log., 2000