Weak modularity, weak tabularity and map-tabularity were introduced in [Heymans and Stubbe, 2012] with the specific aim to axiomatise
small quantaloids of closed cribles.
The Euclidean axioms are well established, and have been for some time, but it is only relatively recently that efforts have been made to axiomatise
In fact Koslow's six axioms do have a privileged status: they axiomatise
the set of universally quantified laws which are expressible in terms of [right arrow] and hold for classical propositional logic.