Add wave operator for unary operator duality?

advancedresearch / hooo

Propositional logic with exponentials

Apache License 2.0

15 stars 1 forks source link

Closed bvssvni closed 11 months ago

bvssvni commented 2 years ago

Currently, the wave operator is only used for binary operators.

bvssvni commented 11 months ago

Closed because outdated.