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: 3944
Download times: 1631
Abstract:
      
Citation:
DOI:10.3770/j.issn:1000-341X.2005.03.027
View Full Text  View/Add Comment  
  Copyright © Journal of Mathematical Research with Applications
Sponsored by：Dalian University of Technology, China Society for Industrial and Applied Mathematics
Address：No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P. R. China , Postal code ：116024
Service Tel：86-411-84707392 Email：jmre@dlut.edu.cn
Designed by Beijing E-tiller Co.,Ltd.
Due to security factors, early browsers cannot log in. It is recommended to log in with IE10, IE11, Google, Firefox, and 360 new browsers.