search

advancedresearch / poi

a pragmatic point-free theorem prover assistant
Apache License 2.0
136 stars 7 forks source link

Direct 4-value logic #1041

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

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.