Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system

Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (26): 44-47.

Previous Articles Next Articles

Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system

WEI Haixin1, LI Chenhui2

1.Department of Information Engineering, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China
2.Department of Electronic Engineering, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China

Online:2012-09-11 Published:2012-09-21

修正的G?del系统的子代数中F(S)的分划及升级算法

魏海新1，李晨晖2

1.桂林航天工业学院信息工程系，广西桂林 541004
2.桂林航天工业学院电子工程系，广西桂林 541004

Abstract

Abstract: The theory of generalized contradictory in revised G?del system is extended in this paper. The theory of generalized contradictory of a class subalgebra of G?del logical system is considered. Moreover, partitions on F（S） are given in corresponding subalgebras.

Key words: revised G?del system, generalized contradictory, subalgebra, partition

摘要： 将修正的G?del逻辑系统中广义矛盾式理论推广，讨论了修正的G?del逻辑系统中一类子代数上的广义矛盾式理论，进而在相应的子代数上给出了公式集[F(S)]的一种分划。

关键词: 修正的G?del系统, 广义矛盾式, 子代数, 分划

WEI Haixin1, LI Chenhui2. Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system[J]. Computer Engineering and Applications, 2012, 48(26): 44-47.

魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.

[1]	ZHANG Kehua, CHENG Weiqing. Differential Privacy Clustering Algorithm Based on Spatial Dynamic Partition [J]. Computer Engineering and Applications, 2021, 57(2): 97-103.
[2]	LIU Suolan, GU Jiahui, WANG Hongyuan, ZHANG Yunpeng. Human Behavior Recognition Based on Associative Partition and ST-GCN [J]. Computer Engineering and Applications, 2021, 57(13): 168-175.
[3]	LIU Yi, ZHANG Qigui. Fast Inter-Frame Prediction Algorithm with Partition Level Limitation [J]. Computer Engineering and Applications, 2021, 57(10): 200-203.
[4]	WANG Wenhui, LI Peng, HU Yundi. Measurement Set Partitioning Algorithm for Extended Target Based on Target Prediction [J]. Computer Engineering and Applications, 2020, 56(8): 143-148.
[5]	LI Chao, DONG Xinhua, CHEN Jianxia. Asynchronous Iterative Updates Method Based on Subgraph in Spark [J]. Computer Engineering and Applications, 2020, 56(7): 67-73.
[6]	HUANG Sheng, LI Mengfang, ZHANG Qianyun. Fast Inter Algorithm for Surveillance and Conference Video Based on Background Frame [J]. Computer Engineering and Applications, 2020, 56(22): 205-210.
[7]	AN Likui, HAN Liyan. Instruction Prefetching and Cache Partitioning for Multicore Cache WCEC Optimization [J]. Computer Engineering and Applications, 2020, 56(1): 69-75.
[8]	YAN Miaomiao, LIU Sanyang. Multi-Classes Interaction Teaching-Learning-Based Optimization Algorithm [J]. Computer Engineering and Applications, 2019, 55(9): 10-16.
[9]	WANG Junwei, CHEN Xing, DENG Yimin, LIU Yang, WANG Junhui. Research on Adaptive Layering of Feature Information of STL Model [J]. Computer Engineering and Applications, 2019, 55(6): 244-251.
[10]	SU Qing1, ZHANG Jingfang1, LIN Zhengxin1, LI Xiaomei1, CAI Zhaoquan2, ZENG Yong’an1. Collaborative Filtering Recommendation Algorithm Based on Improved Fuzzy Partition Clustering [J]. Computer Engineering and Applications, 2019, 55(5): 118-123.
[11]	YANG Kang, YOU Xiaoming, LIU Sheng. Self-Adaptive Double-Population Ant Colony Algorithm with Entropy [J]. Computer Engineering and Applications, 2019, 55(19): 66-73.
[12]	WANG Lingyang, CHEN Qinkuang, SHOU Lidan, CHEN Ke. Reserch of Entity Matching Based on Multiple Heterogenous Data [J]. Computer Engineering and Applications, 2019, 55(19): 87-95.
[13]	ZHONG Yuling, WANG Xite, BAI Mei, ZHU Bin, LI Guanyu. FODU：Fast Outlier Detection Approach on Uncertain Data Sets [J]. Computer Engineering and Applications, 2019, 55(19): 105-114.
[14]	DAI Min. Web Cache Replacement Strategy Based on NB Classifier for Re-access Probability Prediction [J]. Computer Engineering and Applications, 2019, 55(19): 134-140.
[15]	ZENG Min, ZHANG Jun, CHEN Shiqi, MA Shuo, ZHAO Yangfei. ATSP：Adaptive Time Slices Partition Method for Temporal Network Visualization [J]. Computer Engineering and Applications, 2019, 55(16): 55-63.

Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system

修正的G?del系统的子代数中F(S)的分划及升级算法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics