著者

石本 新

出版者

日本科学哲学会

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.29, pp.107-125, 1996-11-15 (Released:2009-05-29)

参考文献数

23

---

Lukasiewicz-type completeness proof of classical propositional logic is presented coupled with the axiomatic rejection for the logic. This is to the effect of much simplifying the completeness proof. On the basis of the consistency of the logic the cut-elimination theorem in the sense of Gentzen is also demonstrated of the logic making use of the axiomatic rejection.