Bounded Idempotent Pocrims

The dataset used in the paper is a collection of bounded idempotent pocrims, hoops, and coops, which are used to model the semantics of continuous logic.

BibTex: