Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics
Eunsuk Yang
This paper deals with pretabular fuzzy logics and their Kripke-style semantics. For this, we first recall the nilpotent minimum logic 𝐍𝐌 and their two pretabular expansions 𝐍𝐌𝑛𝑓𝑝, 𝐍𝐌½, 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: Pretabularity, fuzzy logic, nilpotent minimum logics, Kripke-style semantics, algebraic semantics, many-valued logic