A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator
Received:January 06, 2003  
Key Words: partition   R0-operator   validation set   K-formula class   closed class.  
Fund Project:
Author NameAffiliation
HAN Cheng Inst. of Math.
Shaanxi Normal University
Xi'an
China
Dept. of Math.
Yancheng Teachers College
Jiangsu
China 
WANG Guo-jun Inst. of Math.
Shaanxi Normal University
Xi'an
China 
Hits: 3294
Download times: 1259
Abstract:
      The propositional formula set F(S) is classified into sixteen classifications by using R0 implication operator, and it is proved that this partition about negation is congruent. Moreover, we discuss whether each classification in F(S) is closed under modus ponens and hypothetical syllogism.
Citation:
DOI:10.3770/j.issn:1000-341X.2005.03.027
View Full Text  View/Add Comment