(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics

DOI10.1093/jigpal/jzr030zbMath1259.03033OpenAlexW2129724747MaRDI QIDQ2903755

Eunsuk Yang

Publication date: 1 August 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzr030

zbMATH Keywords

three-valued logicstar operationpseudo- and weak-Boolean logicsstar-based Kripke-style semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (6)

Unnamed Item ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ A basic quasi-Boolean logic of intuitionistic character

This page was built for publication: (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics