You're currently viewing an old version of this dataset. To see the current version, click here.

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.

Data and Resources

Cite this as

Rob Arthan, Paulo Oliva (2024). Dataset: Bounded Idempotent Pocrims. https://doi.org/10.57702/13bamjwn

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.1203.0436
Author Rob Arthan
More Authors
Paulo Oliva