R-reconstruction in open logic  

作　　者：苏开乐 

机构地区：[1]Department of Mathematics, Nanjing University, Nanjing 210008, China

出　　处：《Chinese Science Bulletin》1995年第5期365-366,共2页

摘　　要：In order to describe the growth and modification of knowledge and to express the evolution of a hypothesis, Li Wei recently built up a theory of open logic system. R-reconstruction is an elementary definition of open logic, and has not uniqueness, as pointed out in ref. [1]. In this note, we give a necessary and sufficient condition of the uniqueness of the R-reconstruction of Γ for the rejection of A by facts, where Γ is an arbitrarily given hypothesis, A is a sentence such that Γ(?)A and A has rejection by facts.

关 键 词：R-reconstruction HYPOTHESIS REJECTION by facts. 

分 类 号：O141[理学—数学]