Dataset Groups Activity Stream 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. BibTex: @dataset{Rob_Arthan_and_Paulo_Oliva_2024, abstract = {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.}, author = {Rob Arthan and Paulo Oliva}, doi = {10.57702/zstjhlix}, institution = {No Organization}, keyword = {'bounded involutive pocrims', 'continuous logic', 'coops', 'hoops'}, month = {dec}, publisher = {TIB}, title = {Bounded Involutive Pocrims}, url = {https://service.tib.eu/ldmservice/dataset/bounded-involutive-pocrims}, year = {2024} }
