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 条

[21] 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
[22] Normal form of Lukasiewicz logic formulae and related counting problems
Wang, G.-J. (gjwang@snnu.edu.cn), 1600, Chinese Academy of Sciences (24):
[23] The theory of Δ truth degree in Godel n-valued propositional logic system
Zhu Naidiao
Hui Xiaojing
Gao Xiaoli
PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 3698 - 3703
[24] A General View on Normal Form Theorems for Lukasiewicz Logic with Product
Lapenta, Serafina
Leustean, Ioana
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 215 - 228
[25] Connections between MVn algebras and n-valued Lukasiewicz-Moisil algebras Part I
Iorgulescu, A
DISCRETE MATHEMATICS, 1998, 181 (1-3) : 155 - 177
[26] Averaging formulas for the Reidemeister trace, Lefschetz and Nielsen numbers of n-valued maps
Karel Dekimpe
Lore De Weerdt
Journal of Fixed Point Theory and Applications, 2025, 27 (2)
[27] Formulas of Lukasiewicz's logic represented by hyperplanes
Di Nola, A
Lettieri, A
FUZZY SETS AND SYSTEMS - IFSA 2003, PROCEEDINGS, 2003, 2715 : 189 - 194
[28] ON THE STRUCTURE OF N-VALUED LOGICS
SWIFT, JD
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1948, 54 (07) : 669 - 670
[29] On normal forms in Lukasiewicz logic
Di Nola, A
Lettieri, A
ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (06) : 795 - 823
[30] Faulty sets of Boolean formulas and Lukasiewicz logic
Mundici, Daniele
Picardi, Claudia
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 497 - 507

← 1 2 3 4 5 →