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

Eunsuk Yang


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 as- sociated algebraic completeness results. We next introduce various types of algebraic and non-algebraic binary relational Kripke-style semantics.


  • There are currently no refbacks.