 previous article in this issue | next article in this issue  |
|
Document Details : Title: Two Kinds of (Binary) Kripke-style Semantics for Three-valued Logic Author(s): YANG, Eunsuk Journal: Logique et Analyse Volume: 231 Date: 2015 Pages: 377-394 DOI: 10.2143/LEA.231.0.3141816 Abstract : This paper deals with two sorts of binary Kripke-style semantics, i.e., algebraic and non-algebraic semantics, for three-valued logic. We first introduce three systems, their corresponding algebraic structures, and associated algebraic completeness results. We next introduce various types of algebraic and non-algebraic binary relational Kripke-style semantics. |
 |
