カール・メンガー
これら公理から Mally は 35 の定理を導出したが、その多くは Mally が認めているように奇妙なものとなった。カール・メンガーは定理として !A ↔ A （「A が真である」と「Aであるべき」が同値）が導かれることを示し、! の導入に問題があるとした。メンガー以降、Mally の体系は哲学者からは見向きもされなくなった。Gert Lokhorst は Mally の35の定理とメンガーの定理の証明をスタンフォード哲学百科事典に "Mally's Deontic Logic" として列挙した。