Two kinds of (binary) Kripke-style semantics for three-valued logic

DOI10.2143/LEA.231.0.3141816MaRDI QIDQ5283795zbMATH OpenFDO

Authors Eunsuk Yang

Publication date 25 July 2017

zbMATH Keywords

algebraic semanticsthree-valued logicbinary Kripke-style semantics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Kripke‐style semantics for many‐valued logics
• (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• Algebraic Kripke-style semantics for relevance logics
• Kripke style semantic for the logic of two valued-states
• scientific article; zbMATH DE number 2217307

Cited in

(8)

• Kripke style semantic for the logic of two valued-states
• Three-valued semantic pluralism: a defense of a three-valued solution to the \textit{sorites} paradox
• scientific article; zbMATH DE number 4031648 (Why is no real title available?)
• (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
• An alternative approach to truth-value semantics: more or less true than and pairwise valuations
• Pecularities of some three- and four-valued second order logics
• scientific article; zbMATH DE number 179051 (Why is no real title available?)
• scientific article; zbMATH DE number 4147552 (Why is no real title available?)

This page was built for publication: Two kinds of (binary) Kripke-style semantics for three-valued logic

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