期刊名称：Zbornik Radova Filozofskog Fakulteta u Prištini
印刷版ISSN：0354-3293
电子版ISSN：2217-8082
出版年度：2007
卷号：37
期号：2
页码：17-24
语种：English
出版社：Faculty of Philosophy, Kosovska Mitrovica
摘要：A possibility of a complete propositional type formal system allowing contradictions (*4a),as well as the negation of the principle of"excluded middle"(*4b) is proved.
关键词：law of contradiction;law of excluded middle;a complete formal system
