Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics

Eunsuk Yang

Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics

Eunsuk Yang^*

^*Corresponding author for this work

Department of Philosophy

Research output: Contribution to journal › Journal article › peer-review

Abstract

This paper deals with pretabular fuzzy logics and their Kripke-style semantics. For this, we first recall the nilpotent minimum logic NM and their two pretabular expansions NMⁿ f ^p, NM ¹2, and their algebraic semantics. Next, we provide Kripke-style semantics for those logics. Finally we consider pretabular properties of the two systems using Kripke frames.

Original language	English
Pages (from-to)	533-545
Number of pages	13
Journal	Journal of Multiple-Valued Logic and Soft Computing
Volume	38
Issue number	5-6
State	Published - 2022

Keywords

algebraic semantics
fuzzy logic
Kripke-style semantics
many-valued logic
nilpotent minimum logics
Pretabularity

Quacquarelli Symonds(QS) Subject Topics

Computer Science & Information Systems
Mathematics

Cite this

@article{99afb52d877b4278bbd599dfe7eb0050,

title = "Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics",

abstract = "This paper deals with pretabular fuzzy logics and their Kripke-style semantics. For this, we first recall the nilpotent minimum logic NM and their two pretabular expansions NMn f p, NM 12, and their algebraic semantics. Next, we provide Kripke-style semantics for those logics. Finally we consider pretabular properties of the two systems using Kripke frames.",

keywords = "algebraic semantics, fuzzy logic, Kripke-style semantics, many-valued logic, nilpotent minimum logics, Pretabularity",

author = "Eunsuk Yang",

note = "Publisher Copyright: {\textcopyright} 2022 Old City Publishing, Inc.",

year = "2022",

language = "English",

volume = "38",

pages = "533--545",

journal = "Journal of Multiple-Valued Logic and Soft Computing",

issn = "1542-3980",

number = "5-6",

}

TY - JOUR

T1 - Pretabular Fuzzy Logics and Kripke-style Semantics

T2 - Nilpotent Minimum Logics

AU - Yang, Eunsuk

PY - 2022

Y1 - 2022

N2 - This paper deals with pretabular fuzzy logics and their Kripke-style semantics. For this, we first recall the nilpotent minimum logic NM and their two pretabular expansions NMn f p, NM 12, and their algebraic semantics. Next, we provide Kripke-style semantics for those logics. Finally we consider pretabular properties of the two systems using Kripke frames.

AB - This paper deals with pretabular fuzzy logics and their Kripke-style semantics. For this, we first recall the nilpotent minimum logic NM and their two pretabular expansions NMn f p, NM 12, and their algebraic semantics. Next, we provide Kripke-style semantics for those logics. Finally we consider pretabular properties of the two systems using Kripke frames.

KW - algebraic semantics

KW - fuzzy logic

KW - Kripke-style semantics

KW - many-valued logic

KW - nilpotent minimum logics

KW - Pretabularity

UR - https://www.scopus.com/pages/publications/85128934463

M3 - Journal article

AN - SCOPUS:85128934463

SN - 1542-3980

VL - 38

SP - 533

EP - 545

JO - Journal of Multiple-Valued Logic and Soft Computing

JF - Journal of Multiple-Valued Logic and Soft Computing

IS - 5-6

ER -

Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics

Abstract

Keywords

Quacquarelli Symonds(QS) Subject Topics

Other files and links

Fingerprint

Cite this