Theory of generalized tautology in subalgebras of revised Gödel logical system

doi:10.3778/j.issn.1002-8331.2008.36.016

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (36): 58-60.DOI: 10.3778/j.issn.1002-8331.2008.36.016

• 理论研究 • Previous Articles Next Articles

Theory of generalized tautology in subalgebras of revised Gödel logical system

LI Shun-qin¹,WANG Guo-jun²

1.College of Mathematics and Computer Science，Yan’an University，Yan’an，Shaanxi 716000，China
2.Institute of Mathematics，Shaanxi Normal University，Xi’an 710062，China

Received:2008-06-24 Revised:2008-09-25 Online:2008-12-21 Published:2008-12-21
Contact: LI Shun-qin

修正的Gödel逻辑系统中子代数的广义重言式理论

李顺琴¹,王国俊²

1.延安大学数学与计算机科学学院，陕西延安 716000
2.陕西师范大学数学研究所，西安 710062

通讯作者: 李顺琴

Abstract

Abstract: The theory of generalized tautology in revised Gödel logical system is extended and theory of generalized tautology in order dense sub-algebras of the revised Gödel logical system is considered in this paper.Congruence partitions about ┐ on F（S） have been given in order dense sub-algebras of logic system G by utilizing the concepts of accessible generalized tautology and α-contradiction.

Key words: revised Gö, del logical system, generalized tautology, α-contradiction, partition

摘要： 将修正的Gödel逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F（S）关于┐同余的一个分划.

关键词: 修正的Gö, del逻辑系统, 广义重言式, α-矛盾式, 分划

LI Shun-qin¹,WANG Guo-jun². Theory of generalized tautology in subalgebras of revised Gödel logical system[J]. Computer Engineering and Applications, 2008, 44(36): 58-60.

李顺琴¹,王国俊². 修正的Gödel逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2008, 44(36): 58-60.

[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.

Theory of generalized tautology in subalgebras of revised Gödel logical system

修正的Gödel逻辑系统中子代数的广义重言式理论

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics