A New Theory of T Truth Degree on Godel n-Valued Propositional Logic System

被引：0

作者：

Zhu, Nai-Diao ^{[1
]}

Hui, Xiao-Jing ^{[1
]}

Gao, Xiao-Li ^{[1
]}

机构：

[1] Yanan Univ, Coll Math & Comp Sci, Yanan 716000, Peoples R China

来源：

QUANTITATIVE LOGIC AND SOFT COMPUTING 2016 | 2017年 / 510卷

基金：

中国国家自然科学基金;

关键词：

T truth degree; T similarity degree; T pseudo-metric; T divergent degree; T consistent degree; FUZZY LOGICS;

D O I：

10.1007/978-3-319-46206-6_7

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

By adding new operators Delta and similar to, axiomatic expansion of Godel n-valued propositional logic system is introduced, which is denoted by Godel similar to. In this paper, the concept of t truth degree of propositional formula is put forward in Godel similar to (t take Delta,similar to), and the MP rule, HS rule and some related properties are studied; the concepts of t similarity degree, t pseudo-metric between propositional formulas, and t divergent degree and t consistent degree of theory Gamma in Godel similar to are obtained, and their correlation properties are discussed.

引用

页码：59 / 70

页数：12

共 50 条

[31] On the Nielsen root theory of n-valued maps
Brown, Robert F.
JOURNAL OF FIXED POINT THEORY AND APPLICATIONS, 2021, 23 (04)
[32] On n-valued Post algebras and n-valued Post logics: Twist-style representation and proof theory
Coniglio, Marcelo E.
Figallo, Martin
FUZZY SETS AND SYSTEMS, 2025, 503
[33] Topological Characterization of Consistency of Logic Theories in n-valued Lukasiewicz Logic Luk(n)
She Yanhong
Wang Guojun
He Xiaoli
CHINESE JOURNAL OF ELECTRONICS, 2010, 19 (03): : 427 - 430
[34] Weak completeness of resolution in a linguistic truth-valued propositional logic
Xu, Yang
Chen, Shuwei
Liu, Jun
Ruan, Da
THEORETICAL ADVANCES AND APPLICATIONS OF FUZZY LOGIC AND SOFT COMPUTING, 2007, 42 : 358 - +
[35] Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic
Ma, Yingcang
Zhang, Juanjuan
Liu, Huan
JOURNAL OF APPLIED MATHEMATICS, 2013,
[36] Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
Lai, Jiajun
Xu, Yang
INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
[37] Generation of any N-valued logic by one binary operation
Webb, DL
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1935, 21 : 252 - 254
[38] Quantitative Logic Theory in Godel System
Xu, Wen-bin
QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 303 - 309
[39] n-Valued refined neutrosophic soft set theory
Alkhazaleh, Shawkat
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 32 (06) : 4311 - 4318
[40] New model metrics between relations of n-valued logic and uncertainty of automatic clustering of statements
Vikent’ev A.A.
Pattern Recognition and Image Analysis, 2017, 27 (03) : 404 - 417

← 1 2 3 4 5 →