poi icon indicating copy to clipboard operation
poi copied to clipboard

Direct 4-value logic

Open bvssvni opened this issue 4 years ago • 0 comments

Currently the 4-value logic true/false/both/neither only works for Catuṣkoṭi existential lift.

One idea is to extend the true/false/both/neither to all Boolean operations.

bvssvni avatar Apr 26 '21 17:04 bvssvni