activity
20062026
most citedWeak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version

1 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

math.LO2021

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…