A Propositional Deductive System Of Universal Logic with Projection Operator.

Yingcang Ma, Qiaoyan Li

Browse the full ISDA paper archive.