research
∙
12/14/2021
A note on calculi for non-deterministic many-valued logics
We present two deductively equivalent calculi for non-deterministic many...
research
∙
10/09/2021