1 0 0 0 OA 命題論理における充足可能性の公理化と公理的拒否の形式化
- 著者
- 金井 範夫 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.29, pp.127-137, 1996-11-15 (Released:2009-05-29)
- 参考文献数
- 13
Axiomatic rejection for Aristotle's syllogistic is not fully arranged as a formal system because one of its rejection rules contains a meta-concept. In this paper, we restrict our discussion to the classical propositional logic and reconstruct the rejection system as a formal system with assumptions. Furthermore, we give the axiomatization of satisfiability through a similar way of the reconstruction of the rejection system.
1 0 0 0 OA レスニェウスキー存在論の命題論理的部分系とその簡略化した定式化
- 著者
- 金井 範夫
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.21, pp.133-143, 1988-11-05 (Released:2009-05-29)
- 参考文献数
- 10
1 0 0 0 OA アリストテレス式三段論法の一階述語論理に関する完全性
- 著者
- 金井 範夫
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.19, pp.113-127, 1986-11-20 (Released:2009-05-29)
- 参考文献数
- 14
