Graded reasoning in n-valued Lukasiewicz propositional logic

被引：0

作者：

Zhou, Hongjun ^{[1
]}

Wang, Guojun ^{[1
]}

机构：

[1] Shaanxi Normal Univ, Coll Math & Informat Sci, Xian 710062, Shaanxi, Peoples R China

来源：

ADVANCES IN INTELLIGENT WEB MASTERING | 2007年 / 43卷

关键词：

D O I：

10.1007/978-3-540-72575-6_62

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the present paper we deal with graded reasoning in n-valued Lukasiewicz propositional logic L-n. Firstly we propose an approach to measure the extent to which a theory over L-n is consistent. Secondly, with the concept of consistency degrees of theories, we give several methods of graded reasoning in n-valued Lukasiewicz propositional logic L-n.

引用

页码：387 / +

页数：3

共 50 条

[21] The lattice of subvarieties of monadic n-valued Lukasiewicz-Moisil algebras
Abad, M.
Varela, J. P. Diaz
Rueda, L. A.
Suardiaz, A. M.
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2007, 13 (1-2) : 79 - 88
[22] AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON N-VALUED LUKASIEWICZ LOGICS
CIGNOLI, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 87 - 96
[23] Theory of Δ conditional randomized truth degree in Godel n-valued propositional logic system of adding Δ operator
Wang, Bo
Hui, Xiao-Jing
SCIENCEASIA, 2024, 50 (02): : 1 - 6
[24] On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
Flaminio, Tommaso
Godo, Lluis
Marchioni, Enrico
JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (03) : 429 - 446
[25] Connections between MVn algebras and n-valued Lukasiewicz-Moisil algebras -: II
Iorgulescu, A
DISCRETE MATHEMATICS, 1999, 202 (1-3) : 113 - 134
[26] Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQ
Bobillo, Fernando
Straccia, Umberto
INFORMATION SCIENCES, 2011, 181 (04) : 758 - 778
[27] Non-commutative Lukasiewicz propositional logic
Leustean, I
ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (02) : 191 - 213
[28] 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
[29] Metric formulas between the n-valued logic and the unreliability of statements in clustering
Vikent'ev, A. A.
Kabanova, E. S.
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2015, 80 (04): : 28 - 38
[30] Connections between MVn algebras and n-valued Lukasiewicz-Moisil algebras Part I
Iorgulescu, A
DISCRETE MATHEMATICS, 1998, 181 (1-3) : 155 - 177

← 1 2 3 4 5 →