论文信息 - On some new intuitionistic propositional connectives. I - 字舞流文

On some new intuitionistic propositional connectives. I

[1] Kenneth A. Bowen,et al. An extension of the intuitionsitic propositional calculus , 1971 .

[2] Dean P. McCullough. Logical Connectives for Intuitionistic Propositional Logic , 1971, J. Symb. Log..

[3] D. Gabbay. On 2nd order intuitionistic propositional calculus with full comprehension , 1974 .