Continuous Logic

The dataset used in the paper is a collection of 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: Continuous Logic. https://doi.org/10.57702/nb2m07re

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