An Axiomatization of the Logic with the Rough Quantifier.

Michal Krynicki Hans-Peter Tuschik An Axiomatization of the Logic with the Rough Quantifier. 608-617 1991 56 J. Symb. Log. 2 db/journals/jsyml/jsyml56.html#KrynickiT91