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.
| Original language | English |
|---|---|
| Pages (from-to) | 377-394 |
| Number of pages | 18 |
| Journal | Logique et Analyse |
| Volume | 58 |
| Issue number | 231 |
| DOIs | |
| State | Published - 2015.09 |
Keywords
- (Binary) Kripke-style semantics
- Algebraic semantics
- Fuzzy logic
- Three-valued logic
Quacquarelli Symonds(QS) Subject Topics
- Philosophy
Fingerprint
Dive into the research topics of 'Two kinds of (binary) Kripke-style semantics for three-valued logic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver