Theory of generalized tautology based on subalgebras of Gainse-Rescher system

Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (19): 53-55.

Previous Articles Next Articles

Theory of generalized tautology based on subalgebras of Gainse-Rescher system

LI Shunqin, HUI Xiaojing

College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China

Online:2015-09-30 Published:2015-10-13

Gainse-Rescher系统基于子代数的广义重言式

李顺琴，惠小静

延安大学数学与计算机科学学院，陕西延安 716000

Abstract

Abstract: The theory of generalized tautology in Gainse-Rescher logic system is extended and theory of generalized tautology in order dense sub-algebras of the Gainse-Rescher logic system is considered in this paper. Partitions of [FS] have been given in order dense sub-algebras of the Gainse-Rescher logic system by utilizing the concepts of accessible generalized tautology.

Key words: Gainse-Rescher logic system, generalized tautology, subalgebra, partition

摘要： 将Gainse-Rescher逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数中的广义重言式理论，并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。

关键词: Gainse-Rescher逻辑系统, 广义重言式, 子代数, 分划

LI Shunqin, HUI Xiaojing. Theory of generalized tautology based on subalgebras of Gainse-Rescher system[J]. Computer Engineering and Applications, 2015, 51(19): 53-55.

李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.

[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 based on subalgebras of Gainse-Rescher system

Gainse-Rescher系统基于子代数的广义重言式

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics