Nilpotent Minimum Logic NM and Pretabularity

• Autorzy: Eunsuk Yang
• Języki publikacji: EN

Abstrakty

EN

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.  

Słowa kluczowe

EN

pretabularity; nilpotent minimum logic; algebraic semantics; fuzzy logic; finite model property

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2020
• Tom: 49
• Numer: 1

Daty

wydano

2020-03-30

Twórcy

autor

Eunsuk Yang

Identyfikatory

DOI

10.18778/0138-0680.2020.01