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

Bounded Involutive Pocrims

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

Data and Resources

This dataset has no data

Cite this as

Rob Arthan, Paulo Oliva (2024). Dataset: Bounded Involutive Pocrims. https://doi.org/10.57702/zstjhlix

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

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