Nilpotent Minimum Logic NM and Pretabularity
Bulletin of the Section of Logic, Tome 49 (2020) no. 1
Cet article a éte moissonné depuis la source Library of Science
This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp and the another known extended system NM-. Next, we show that NMnfp and NM½ are pretabular, whereas NM is not. We also discuss their algebraic completeness.
Keywords:
pretabularity, nilpotent minimum logic, algebraic semantics, fuzzy logic, finite model property
@article{BSL_2020_49_1_a3,
author = {Yang, Eunsuk},
title = {Nilpotent {Minimum} {Logic} {NM} and {Pretabularity}},
journal = {Bulletin of the Section of Logic},
year = {2020},
volume = {49},
number = {1},
language = {en},
url = {http://geodesic.mathdoc.fr/item/BSL_2020_49_1_a3/}
}
Yang, Eunsuk. Nilpotent Minimum Logic NM and Pretabularity. Bulletin of the Section of Logic, Tome 49 (2020) no. 1. http://geodesic.mathdoc.fr/item/BSL_2020_49_1_a3/