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

DOI10.2143/LEA.231.0.3141816zbMATH Open1372.03047MaRDI QIDQ5283795FDOQ5283795

Authors: Eunsuk Yang 

Publication date: 25 July 2017

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

zbMATH Keywords

algebraic semanticsthree-valued logicbinary Kripke-style semantics

Mathematics Subject Classification ID

Many-valued logic (03B50)

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
• Title not available (Why is that?)
• (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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)