摘要
This paper gives a survey of the Hilbert-style system Z of propositional logic presented by Professor Zhang Qingyu in 1997, and presents some variants of it. All of these systems make use of the brackets to act as a class of generalized Sheffer-strokes, the only kind of primitive connectives. Moreover, as a consequence, this paper gives a recursive enumeration for the propositional logic.
This paper gives a survey of the Hilbert-style system Z of propositional logic presented by Professor Zhang Qingyu in 1997, and presents some variants of it. All of these systems make use of the brackets to act as a class of generalized Sheffer-strokes, the only kind of primitive connectives. Moreover, as a consequence, this paper gives a recursive enumeration for the propositional logic.
出处
《哲学研究》
CSSCI
北大核心
2008年第9期113-119,共7页
Philosophical Research
