Normal Form of n-Valued Lukasiewicz Logic Formulas

被引：0

作者：

Wang, Qing-Ping ^{[1
,2
]}

机构：

[1] Jiangxi Univ Finance & Econ, Sch Stat, Nanchang, Jiangxi, Peoples R China

[2] Jiangxi Univ Finance & Econ, Res Ctr Appl Stat, Nanchang, Jiangxi, Peoples R China

来源：

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

基金：

中国国家自然科学基金;

关键词：

Shannon expansion; Boolean function; n-valued McNaughton function; Normal form;

D O I：

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

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The disjunctive normal form and conjunctive normal form of Boolean functions are very important to construct logic formulas in classical logic system. Shannon expansion in symbolic computation tree logic is generalized to prove the normal form of Boolean functions. In n-valued Lukasiewicz logic system L-n, the expansion of n-valued McNaughton functions which are induced by logic formulas is studied. The quasi disjunctive normal form and quasi conjunctive normal form of m-ary n-valued McNaughton functions are given.

引用

页码：81 / 88

页数：8

共 50 条

[1] Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem
Li, BJ
Wang, GJ
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (06): : 727 - 736
[2] Graded reasoning in n-valued Lukasiewicz propositional logic
Zhou, Hongjun
Wang, Guojun
ADVANCES IN INTELLIGENT WEB MASTERING, 2007, 43 : 387 - +
[3] A determination principle for algebras of n-valued Lukasiewicz logic
Leustean, Ioana
JOURNAL OF ALGEBRA, 2008, 320 (10) : 3694 - 3719
[4] 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
[5] MONADIC N-VALUED LUKASIEWICZ ALGEBRAS
ABAD, M
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1093 - 1093
[6] Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-valued Propositional Logic systems
Zhang, Jiancheng
Su, Lianta
Chen, Shuili
ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 7, PROCEEDINGS, 2008, : 342 - +
[7] A Generalization of Monadic n-Valued Lukasiewicz Algebras
Gallardo, Carlos
Ziliani, Alicia
STUDIA LOGICA, 2022, 110 (02) : 457 - 478
[8] Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-Valued Propositional Logic Systems
Zhang, Jiancheng
APPLIED COMPUTATIONAL INTELLIGENCE AND SOFT COMPUTING, 2010, 2010
[9] FUNCTIONAL MONADIC n-VALUED LUKASIEWICZ ALGEBRAS
Figallo, A. V.
Sanza, C.
Ziliani, A.
MATHEMATICA BOHEMICA, 2005, 130 (04): : 337 - 348
[10] 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

← 1 2 3 4 5 →