scientific article; zbMATH DE number 7536428

MaRDI QIDQ5863756zbMATH OpenFDO

Authors Eunsuk Yang

Publication date 3 June 2022

Full work available at URL https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-5-6-2022/mvlsc-35-5-6-p-533-545/

zbMATH Keywords

algebraic semanticsfuzzy logicKripke-style semanticsmany-valued logicnilpotent minimum logicspretabularity

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)

Recommendations

• Nilpotent minimum fuzzy description logics
• Nilpotent Minimum Logic NM and Pretabularity
• Kripke semantics for fuzzy logics
• A categorical semantics for fuzzy predicate logic
• scientific article; zbMATH DE number 2068681
• First-order nilpotent minimum logics: first steps
• scientific article; zbMATH DE number 5295430
• scientific article; zbMATH DE number 4197963
• From Kripke to neighborhood semantics for modal fuzzy logics
• Monadic fuzzy predicate logics

Cites work

• (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T
• (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• A pretabular classical relevance logic
• A semantical study of constructible falsity
• Algebraic completeness results for R-mingle and its extensions
• Algebraic Kripke-style semantics for relevance logics
• Corrigendum to “Kripke‐style semantics for many‐valued logics”
• scientific article; zbMATH DE number 6028054 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• Independent bases for rules admissible in pretabular logics
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Kripke‐style semantics for many‐valued logics
• Nilpotent Minimum Logic NM and Pretabularity
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The quest for the basic fuzzy logic
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
• Undecidability of modal and intermediate first-order logics with two individual variables
• Weakly implicative (fuzzy) logics. I: Basic properties

Cited in

(1)

• Nilpotent Minimum Logic NM and Pretabularity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5863756)