|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
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.