Bounded Involutive Pocrims

doi:doi:10.57702/zstjhlix

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

Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Explore
- Preview
- Download

Cite this as

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

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